Download:
|
by Gian Luca Cattani, Ian Stark, Glynn Winskel
In Proceedings of CTCS '97, LNCS 1290
http://www.daimi.aau.dk/ftp/BRICS/Staff/cattani/prempc.ps.gz
Add To MetaCart
Abstract:
Abstract. Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is shown how this approach can also handle systems where the language of actions may change dynamically as a process evolves. The example is the ��-calculus, a calculus for `mobile processes ' whose communication topology varies as channels are created and discarded. A denotational semantics is described for the ��-calculus within an indexed category of profunctors; the model is fully abstract for bisimilarity, in the sense that bisimulation in the model, obtained from open maps, coincides with the usual bisimulation obtained from the operational semantics of the ��-calculus. While attention is concentrated on the `late ' semantics of the ��-calculus, it is indicated how the `early ' and other variants can also be captured. 1
Citations
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
316
|
The polyadic -calculus: a tutorial
– Milner
- 1991
|
|
281
|
Functions as processes
– Milner
- 1992
|
|
229
|
Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms
– Sangiorgi
- 1992
|
|
87
|
Full abstraction for a simple parallel programming language
– Hennessy, Plotkin
- 1979
|
|
85
|
A calculus of mobile processes, parts I and II
– Milner, Parrow, et al.
- 1989
|
|
70
|
Handbook of Categorical Algebra
– Borceux
- 1994
|
|
63
|
ss-calculus, internal mobility and agent-passing calculi
– Sangiorgi
- 1996
|
|
52
|
On closed categories of functors
– Day
- 1970
|
|
38
|
A completeness theorem for open maps
– Joyal, Moerdijk
- 1994
|
|
38
|
A presheaf semantics of value-passing processes
– Winskel
- 1996
|
|
15
|
A Fully Abstract Domain Model for the -calculus
– Stark
- 1996
|
|
13
|
Cattani and Glynn Winskel. Presheaf models for CCS-like languages
– Luca
- 2003
|
|
10
|
A fully-abstract model for the -calculus
– Fiore, Moggi, et al.
- 1996
|
|
6
|
Asynchrony and the -calculus. Rapporte de Recherche 1702, INRIA So
– Boudol
- 1992
|
|
3
|
A preliminary version appeared as
– Springer-Verlag
- 1997
|
|
2
|
Algebraic Set Theory, volume 220 of London Mathematical Society Lecture Note Series
– Joyal, Moerdijk
- 1995
|
