The fusion calculus: Expressiveness and symmetry in mobile processes

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 176-185

  Parrow, Joachim ^a   Victor, Björn ^b  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATION THEORY; COMPUTATIONAL MECHANICS; COMPUTER CIRCUITS; DIFFERENTIATION (CALCULUS); ENCODING (SYMBOLS); SEMANTICS;

BISIMULATION EQUIVALENCES; COMPLETE AXIOMATIZATIONS; COMPUTATIONAL MODEL; CONCURRENT CONSTRAINT; EXPRESSIVE POWER; LAMBDA ABSTRACTION; REDUCTION STRATEGY; STRUCTURED OPERATIONAL SEMANTICS;

CALCULATIONS;

EID: 85031146080     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705654     Document Type: Conference Paper

References (21)

1. S. Abramsky. The lazy lambda calculus. In D. Turner, editor, Research Topics in Functional Programming. Addison-Wesley, 1989.
2. G. Boudol. Towards a lambda-calculus for concurrent and communicating systems. In J. Diaz and F. Ore- jas, editors, Proceedings of TAPSOFT '89, Volume 1, volume 351 of LNCS, pages 149-161. Springer, 1989.
3. G. Boudol. The π-calculus in direct style. In Proceedings ofPOPL '97, pages 228-241. ACM, Jan. 1997.
4. Y. Fu. A proof-Theoretical approach to communication. In P. Degano, R. Gorrieri and A. Marchetti- Spaccamela, editors, Proceedings of ICALP '97, volume 1256 of LNCS, pages 325-335. Springer, 1997.
5. R. Milner. The polyadic π-calculus: A tutorial. Technical Report ECS-LFCS-91-180, LFCS, University of Edinburgh, Oct. 1991. Also in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer, 1993.
6. R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2): 119- 141, 1992.
7. R. Milner. Calculi for interaction. Acta Informatica, 33(8):707-737, Nov. 1996.
8. R. Milner, J. Parrow and D. Walker. A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100:1-77, Sept. 1992.
9. J. Niehren and M. Miiller. Constraints for free in concurrent computation. In K. Kanchanasut and J.- J. Levy, editors, Asian Computer Science Conference, volume 1023 of LNCS, pages 171-186, Pathumthani, Thailand, 11-13 Dec. 1995. Springer.
10. J. Parrow and D. Sangiorgi. Algebraic theories for name-passing calculi. Journal of Information and Computation., 120(2):174-197, 1995.
11. J. Parrow and B. Victor. The update calculus. In Proceedings of AMAST'97, volume 1349 of LNCS. Springer, 19g7.
12. J. Parrow and B. Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. Technical Report DoCS 97/96, Dept. of Computer Systems, Uppsala University, Sweden, Dec. 1997. URL: http://www.docs.uu.se/~victor/tr/fusion.html.
13. D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, LFCS, University of Edinburgh, 1993.
14. D. Sangiorgi. The lazy lambda calculus in a concurrency scenario. Journal of Information and Computation, 111(1): 120 131. 1994.
15. D. Sangiorgi. Lazy functions and mobile processes. Rapport de Recherche RR-2515, INRIA Sophia- Antipolis, 1995.
16. D. Sangiorgi. π-calculus, internal mobility and agent-passing calculi. Theoretical Computer Science, 167(1-2):235-274, 1996.
17. D. Sangiorgi. A theory of bisimulation for the π- calculus. Acta Informatica, 33:69-97, 1996.
18. B. Thomsen. Calculi for Higher Order Communicating Systems. PhD thesis, Imperial College, University of London, Sept. 1990.
19. B. Victor. The Fusion, Calculus: Expressiveness and Symmetry in Mobile Processes. PhD thesis, Dept. of Computer Systems, Uppsala University, Sweden, June 1998. URL: http://www.docs.uu.se/~victor/thesis.shtml.
20. B. Victor and F. Moller. The Mobility Workbench -A tool for the 7r-calculus. In D. Dill, editor, Proceedings of CAV '94 volume 818 of LNCS, pages 428-440. Springer, 1994.
21. B. Victor and J. Parrow. Concurrent constraints in the fusion calculus. In Proceedings of ICALP'98, LNCS. Springer, 1998. URL: http://www.docs.uu.se/~victor/tr/ccfc.html.