Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

699 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Roever, de, W.P., Promotor van Emde Boas, Peter, Promotor, Externe Persoon
Datum van toekenning	12 feb. 1988
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
DOI's	https://doi.org/10.6100/IR279981
Status	Gepubliceerd - 1988

Toegang tot document

@phdthesis{f9a0b54de62947ff882a156a11a87296,

title = "Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection",

author = "Jakob Zwiers",

year = "1988",

doi = "10.6100/IR279981",

language = "English",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}