Communicating sequential processes
Noch keine Bewertungen
Jan 1, 1985
·
Englisch
·
Gebundene Ausgabe
(256 Seiten)
Format
Gebundene Ausgabe
Seiten
256
Sprache
Englisch
Veröffentlicht
Jan 1, 1985
Verlag
Prentice Hall
ISBN-10
0131532715
ISBN-13
9780131532717
This book introduces a new mathematical approach to the study of concurrency and communication. Most suitable application of this new field is to the specification, design and implementation of computer systems which continuously act and interact with their environment.