Back to University of Twente portal
Process Creation and Full Sequential Composition in a Name-Passing Calculus
Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. In: Expressiveness in Concurrency.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 364Kb |
| Abstract: | This paper presents the underlying theory for 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. We present an axiomatic theory for the calculus and show its soundness and completeness w.r.t. bisimulation equivalence. |
| Item Type: | Conference or Workshop Item |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/66670 |
| Official URL: | http://dx.doi.org/10.1016/S1571-0661(05)80471-2 |
| 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