Beskrivning
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.
Bokdetaljer
Format
Inbunden
Sidor
256 sidor
Språk
Engelska
Publicerad
Jan 1, 1985
Förlag
Prentice Hall
Upplagor
2 utgåvor
ISBN-10
0131532715
ISBN-13
9780131532717