1990-08-27
Process algebra with a zero object
Publication
Publication
Presented at the
International Conference on Concurrency Theory (August 1990), Amsterdam, The Netherlands
The object 0 acts as a zero for both sum and multiplication in process algebra. The constant δ, representing deadlock or inaction, is only a left zero for multiplication. We will call 0 predictable failure.
| Additional Metadata | |
|---|---|
| , , , , | |
| doi.org/10.1007/BFb0039053 | |
| International Conference on Concurrency Theory | |
|
Baeten, J., & Bergstra, J. (1990). Process algebra with a zero object. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 83–98). doi:10.1007/BFb0039053 |
|
