We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Observing "True" Concurrency

Thumbnail Image
Download
Name

MIT-LCS-TR-618.pdf

Size

16.29 MB

Format

Adobe PDF

Checksum (MD5)

6cdf66808c90c39b93ecfb1c809fe0d9

Author(s)
Jategaonkar, Lalita A.
Advisor(s)
Meyer, Albert R.
Date Issued
September 1993
Series/Report no.
MIT-LCS-TR-618
Abstract
In concurrent process theory, processors 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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.