Process algebra with a zero object
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.
|Keywords||Deadlock, Failure, Inaction, Process algebra, Zero|
|Conference||International Conference on Concurrency Theory|
Baeten, J.C.M, & Bergstra, J.A. (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