Explicit fusions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1893, Issue , 2000, Pages 373-382

  Gardner, Philippa ^a   Wischik, Lucian ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BISIMULATION CONGRUENCES; EMBEDDINGS; EXPLICIT FUSIONS; FUSION CALCULUS; LOCAL REACTIONS; PI CALCULUS; PROCESS CALCULI;

CALCULATIONS;

EID: 84925814501     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-44612-5_33     Document Type: Article

References (14)

1. Y. Fu. Open bisimulations on chi processes. In CONCUR, LNCS 1664. Springer, 1999.
2. P. Gardner. From process calculi to process frameworks. In CONCUR, 2000. To appear.
3. P. Gardner and L. Wischik. Symmetric action calculi (abstract). Manuscript online.
4. P. Gardner and L. Wischik. A process framework based on the πF calculus. In EXPRESS, volume 27. Elsevier Science Publishers, 1999.
5. K. Honda. Elementary structures in process theory (1): sets with renaming. Mathematical Structures in Computer Science. To appear.
6. K. Honda and N. Yoshida. On reduction-based process semantics. In Foundations of Software Technology and Theoretical Computer Science, LNCS 761. Springer, 1993.
7. M. Merro. Onequators in asynchronous name-passing calculi without matching. In EXPRESS, volume 27. Elsevier Science Publishers, 1999.
8. R. Milner. Communicating and mobile systems: the pi calculus. CUP, 1999.
9. Robin Milner. Calculi for interaction. Acta Informatica, 33(8), 1996.
10. J. Parrow and B. Victor. The fusion calculus: expressiveness and symmetry in mobile processes. In LICS. IEEE, Computer Society Press, 1998.
11. D. Sangiorgi. Pi-calculus, internal mobility and agent-passing calculi. Theoretical Computer Science, 167(2), 1996.
12. D. Sangiorgi. A theory of bisimulation for the π-calculus. Acta Informatica, 33, 1996.
13. B. Victor and J. Parrow. Concurrent constraints in the fusion calculus. In ICALP, LNCS 1443. Springer, 1998.
14. L. Wischik. 2001. Ph.D. thesis. In preparation.