From concurrent state machines to reliable multi-threaded Java code

D. Zhang

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

465 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • van den Brand, Mark G.J., Promotor
  • Kuiper, Ruurd, Copromotor
  • Bosnacki, Dragan, Copromotor
Award date12 Apr 2018
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-4475-2
Publication statusPublished - 12 Apr 2018

Bibliographical note

Proefschrift

Promotion : time and place

  • 16:00h, Auditorium, Collegezaal 4

Cite this

Zhang, D. (2018). From concurrent state machines to reliable multi-threaded Java code. Eindhoven: Technische Universiteit Eindhoven.
Zhang, D.. / From concurrent state machines to reliable multi-threaded Java code. Eindhoven : Technische Universiteit Eindhoven, 2018. 160 p.
@phdthesis{5b113a47ce724a70965f6930b8345f80,
title = "From concurrent state machines to reliable multi-threaded Java code",
author = "D. Zhang",
note = "Proefschrift",
year = "2018",
month = "4",
day = "12",
language = "English",
isbn = "978-90-386-4475-2",
series = "IPA Dissertation Series",
publisher = "Technische Universiteit Eindhoven",
school = "Department of Mathematics and Computer Science",

}

Zhang, D 2018, 'From concurrent state machines to reliable multi-threaded Java code', Doctor of Philosophy, Department of Mathematics and Computer Science, Eindhoven.

From concurrent state machines to reliable multi-threaded Java code. / Zhang, D.

Eindhoven : Technische Universiteit Eindhoven, 2018. 160 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

TY - THES

T1 - From concurrent state machines to reliable multi-threaded Java code

AU - Zhang, D.

N1 - Proefschrift

PY - 2018/4/12

Y1 - 2018/4/12

M3 - Phd Thesis 1 (Research TU/e / Graduation TU/e)

SN - 978-90-386-4475-2

T3 - IPA Dissertation Series

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Zhang D. From concurrent state machines to reliable multi-threaded Java code. Eindhoven: Technische Universiteit Eindhoven, 2018. 160 p. (IPA Dissertation Series).