描述
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.
书籍详情
格式
精装书
页数
256 页
语言
英语
已发布
Jan 1, 1985
出版商
Prentice Hall
版本
2 个版本
ISBN-10
0131532715
ISBN-13
9780131532717