Communicating sequential processes
C. A. R. Hoare
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.
Kategori:
Tahun:
1985
Penerbit:
Prentice Hall
Bahasa:
english
Halaman:
260
ISBN 10:
0131532898
ISBN 13:
9780131532892
Nama seri:
Prentice-Hall International Series in Computer Science
File:
PDF, 1.06 MB
IPFS:
,
english, 1985