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.
"synopsis" may belong to another edition of this title.
Book Description Prentice Hall, 1985. Paperback. Book Condition: New. Bookseller Inventory # DADAX0131532898