DMCA
The importance of the left merge operator in process algebras
| Venue: | Proceedings 17 th ICALP |
| Citations: | 30 - 0 self |
BibTeX
@INPROCEEDINGS{Moller_theimportance,
author = {Faron Moller},
title = {The importance of the left merge operator in process algebras},
booktitle = {Proceedings 17 th ICALP},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. In this paper, we examine quational a~xiomatisations for PA, the process algebra of Bergstra and Klop, which is a simple subset of their full language ACP. The language PA has two combinators for concurrent execution: theusual full merge operator ~ and the more esoteric left merge operator [. Though this latter combinator is somewhat semantically unusual, we demonstrate its importance by proving that, whereas a finite sound and complete equa ional theory exists for PA, no such finite theory can exist for PA in the absence of the left merge operator. 1
