Descrição
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.
Detalhes do Livro
Formato
Capa dura
Páginas
256 páginas
Idioma
Inglês
Publicado
Jan 1, 1985
Editora
Prentice Hall
Edições
2 edições
ISBN-10
0131532715
ISBN-13
9780131532717