Synchronizing processes
In this monograph we develop a mathematical theory for a concurrent language based on angelic and demonic nondeterminism. An underlying model is defined with sets of sets of sequences of synchronization actions. A refinement relation is defined for the model, and equivalence classes under this relat...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1995
|
| Online Access: | https://thesis.library.caltech.edu/4036/1/Hofstee_hp_1995.pdf Hofstee, H. Peter (1995) Synchronizing processes. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/G620-GG65. https://resolver.caltech.edu/CaltechETD:etd-10112007-083903 <https://resolver.caltech.edu/CaltechETD:etd-10112007-083903> |