Process algebras with data
By: Alban Ponse
Contributors: Universiteit van Amsterdam
Publisher: Centrum voor Wiskunde en Informatica
Published: 1992
Place of publication: Amsterdam
Language: eng
Number of pages: 184
Subjects: Multitasking (Computer science); Data transmission systems; Algebraic logic
Notes: "The work in this thesis has been carried out ... in the context of ESPRIT project no. 432, An integrated formal approach to industrial software development (METEOR), and RACE project no. 1046, Specification and programming environment for communication software (SPECS)."--T.p. verso.

Thesis (doctoral)--Universiteit van Amsterdam, 1992.

Includes bibliographical references (p. 178-80)

Dutch summary : p. 181-4.