Description
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.
Book Details
Format
Hardcover
Pages
256 pages
Language
English
Published
Jan 1, 1985
Publisher
Prentice Hall
Editions
2 editions
ISBN-10
0131532715
ISBN-13
9780131532717