Back to University of Twente portal
Process Creation and Full Sequential Composition in a Name-Passing Calculus
Gehrke, Thomas and Rensink, Arend (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 329Kb |
| Abstract: | This paper presents a first attempt to formulate a process calculus featuring process creation and sequential composition, instead of the more usual parallel composition and action prefixing, in a setting where mobility is achieved by communicating channel names. We discuss the questions of scope and name binding, raised by the interaction of mobility and sequential composition. Substitution of names is integrated as a syntactic operator in the calculus.
Although many aspects necessary to model the combination of process creation, sequential composition and name-passing are taken into account, the setup described in this paper is not yet satisfactory, in that it does not give rise to a useful abstract behavioural equivalence. In particular, the natural notion of bisimulation in our calculus gives rise to a relation that is not a congruence. |
| Item Type: | Report |
| Link to this item: | http://purl.utwente.nl/publications/66669 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page