Abstract / Description of output
In VRANCKEN [14], the empty process ɛ was added to the Algebra of Communicating Processes of BERGSTRA & KLOP [3, 4]. Reconsidering the definition of the parallel composition operator merge, we found that it is preferable to explicitly state the termination option. This gives an extra summand in the defining equation of merge, using the auxiliary operator √ (tick). We find that tick can be defined in terms of the encapsulation operator ∂H. We give an operational and a denotational semantics for the resulting system ACP√, and prove that they are equal. We consider the Limit Rule, and prove it holds in our models.
Original language | English |
---|---|
Title of host publication | Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings |
Editors | K.V. Nori |
Publisher | Springer |
Pages | 153-172 |
Number of pages | 20 |
Volume | 287 |
ISBN (Electronic) | 978-3-540-48033-4 |
ISBN (Print) | 978-3-540-18625-0 |
DOIs | |
Publication status | Published - 25 Nov 1987 |
Event | The 7th Foundations of Software Technology and Theoretical Computer Science Conference, 1987 - Pune, India Duration: 17 Dec 1987 → 19 Dec 1987 Conference number: 7 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 287 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | The 7th Foundations of Software Technology and Theoretical Computer Science Conference, 1987 |
---|---|
Abbreviated title | FSTTCS 1987 |
Country/Territory | India |
City | Pune |
Period | 17/12/87 → 19/12/87 |