Asynchronous Programming in the Abstract Behavioural Specification Language

Azadbakht, K. (Keyvan)

LIACS Thesis Repository

These webpages contain theses and reports by students affiliated with the various bachelor and master programmes offered at the Leiden Institute of Advanced Computer Science (LIACS), the computer science and artificial intelligence department of Leiden University.

The following thesis was written by a student who graduated in 2019 from the PhD Computer Science programme at Leiden University.

Thesis details

Title	Asynchronous Programming in the Abstract Behavioural Specification Language
Student	Azadbakht, K. (Keyvan)
Programme	PhD Computer Science
Year	2019
Supervisors	Boer, prof.dr. F.S. (Frank) de dr. E.P. de Vink, Eindhoven (copromotor)
More information	Thesis information

Citation details

Azadbakht, K. (Keyvan), Asynchronous Programming in the Abstract Behavioural Specification Language, Thesis PhD Computer Science, LIACS, Leiden University, 2019.