Finite representations of CCS and TCSP programs by automata and Petri nets /

Annotation This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoar...

Full description

Bibliographic Details

Main Author:	Taubner, Dirk, 1959-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in computer science ; 369.
Subjects:	Electronic data processing > Distributed processing. Petri nets. Programming languages (Electronic computers) Electronic books.
Online Access:	Connect to the full text of this electronic book