Descrizione
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.
Dettagli del libro
Formato
Copertina rigida
Pagine
256 pagine
Lingua
Inglese
Pubblicato
Jan 1, 1985
Editore
Prentice Hall
Edizioni
2 edizioni
ISBN-10
0131532715
ISBN-13
9780131532717