Observing "true" Concurrency
Author | : Lalita A. Jategaonkar |
Publisher | : |
Total Pages | : 154 |
Release | : 1993 |
ISBN-10 | : OCLC:29974792 |
ISBN-13 | : |
Rating | : 4/5 (92 Downloads) |
Book excerpt: 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 modeling 'true' concurrency concepts such as non-atomic actions, action refinement, locality of actions, and multithreadedness. We introduce an action refinement operator and present some 'fully abstract' semantics for 'true' concurrency. We show that these semantics are decidable for finite- state concurrent processes and characterize their computational complexity."