The fusion calculus: expressiveness and symmetry in mobile processes
- 27 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- The π-calculus in direct stylePublished by Association for Computing Machinery (ACM) ,1997
- A proof theoretical approach to communicationPublished by Springer Nature ,1997
- π-Calculus, internal mobility, and agent-passing calculiTheoretical Computer Science, 1996
- Calculi for interactionActa Informatica, 1996
- A theory of bisimulation for the π-calculusActa Informatica, 1996
- Algebraic Theories for Name-Passing CalculiInformation and Computation, 1995
- The Lazy Lambda Calculus in a Concurrency ScenarioInformation and Computation, 1994
- Functions as processesMathematical Structures in Computer Science, 1992
- Towards a lambda-calculus for concurrent and communicating systemsPublished by Springer Nature ,1989