Processes are in the eye of the beholder
- 1 June 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 179 (1-2), 333-351
- https://doi.org/10.1016/s0304-3975(96)00153-3
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- How to Write a ProofThe American Mathematical Monthly, 1995
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Communicating sequential processesCommunications of the ACM, 1978