Observing "true" concurrency /
Abstract: "In concurrent process theory, processes are often modeled by state machines and Petri Nets. Algebraic process theories based on state machines, exemplified by Milner's CCS and Hoare's CSP, have been more fully developed than Net-based theories, but are inadequate for modeli...
Main Author: | |
---|---|
Format: | Thesis Book |
Language: | English |
Published: |
Cambridge, Mass. :
Massachusetts Institute of Technology. Laboratory for Computer Science,
[1993]
|
Series: | Technical report (Massachusetts Institute of Technology. Laboratory for Computer Science) ;
MIT/LCS/TR-618 |
Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
Call Number: |
135010 ISIL:US-CST |
---|