From process calculi to process frameworks

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

Volumn 1877 LNCS, Issue , 2000, Pages 69-88

  Gardner, Philippa ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; PATHOLOGY;

ACTION CALCULUS; FUSION SYSTEMS; GENERALISATION; PI CALCULUS; PROCESS CALCULI; PROCESS FRAMEWORK;

CALCULATIONS;

EID: 84885227660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44618-4_7     Document Type: Conference Paper

References (15)

1. Y. Fu. A proof-theoretical approach to communication. ICALP, LNCS 1256, Springer-Verlag, 1997.
2. F-calculus. EXPRESS, Elsevier Science Publishers, 1999.
3. P.A. Gardner and L. Wischik. Explicit fusions. MFCS, 2000. To appear.
4. M. Hasegawa. Models of Sharing Graphs (A Categorical Semantics of Let and Letrec). PhD thesis, ECS-LFCS-97-360, University of Edinburgh, 1997.
5. M. Hasegawa and P. Gardner. Higher order action calculi and the computational λ-calculus. Theoretical Aspects of Computer Software, Sendai, 1997.
6. K. Honda. Elementary structures in process theory (1): sets with renaming. Mathematical Structures in Computer Science, 2000. To appear.
7. A. Joyal, R. Street, and D. Verity. Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society, 119(3), 1996.
8. Jamey Leifer and Robin Milner. Deriving bisimulation congruences for reactive systems. CONCUR, 2000. To appear.
9. R. Milner. Higher order action calculi. Computer Science Logic, LNCS 832, Springer-Verlag, 1994.
10. R. Milner. Reflexive action calculi. Unpublished manuscript, 1994.
11. R. Milner. Calculi for interaction. Acta Informatica, 33(8): 707-737, 1996.
12. R. Milner. Communicating and mobile systems: the picalculus. CUP, 1999.
13. J. Parrow and B. Victor. The fusion calculus: expressiveness and symmetry in mobile processes. LICS, Computer Society Press, 1998.
14. D. Sangiorgi. A theory of bisimulation for the pi-calculus. CONCUR, Springer-Verlag, 1993.
15. Peter Sewell. From rewrite rules to bisimulation congruences. Theoretical Computer Science, 2000. To appear.