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

Bibliographic Details
Main Author:	Taubner, Dirk, 1959-
Format:	Book
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)

Remote Storage