A general name binding mechanism

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

Volumn 3705 LNCS, Issue , 2005, Pages 61-74

  Boreale, Michele ^a   Buscemi, Maria Grazia ^b   Montanari, Ugo ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; INPUT OUTPUT PROGRAMS; SEMANTICS;

BINDING MECHANISM; FUSION CALCULUS; PI-CALCULUS; U-CALCULUS;

MATHEMATICAL TECHNIQUES;

EID: 33646183370     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11580850_5     Document Type: Conference Paper

References (14)

1. M. Boreale, M. Buscemi, U. Montanari. D-Pusion: a Distinctive Fusion Calculus. In Proc. of APLAS'04, LNCS 3302, Springer-Verlag, 2004.
2. P. Gardner, C. Laneve, and L. Wischik. The fusion machine (extended abstract). In Proc. of CONCUR '02, LNCS 2421. Springer-Verlag, 2002.
3. L. G. Meredith, S. Bjorg, and D. Richter. Highwire Language Specification Version 1.0. Unpublished manuscript.
4. Microsoft Corp. Biztalk Server - http://www.microsoft.com/biztalk.
5. R. Milner. The Polyaclic pi-Calculus: a Tutorial. Technical Report, Computer Science Dept., University of Edinburgh, 1991.
6. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation, 100(1):1-77, 1992.
7. U. Nestmann and B. C. Pierce. Decoding choice encodings. Information and Computation, 163(1):1-59, 2000.
8. C. Palamidessi. Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. In Conf. Rec. of POPL'97, 1997.
9. C. Palamidessi. Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. Mathematical Structures in Computer Science, 13(5):685-719, 2003.
10. J. Parrow and B. Victor. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In Proc. of LICS'98. IEEE Computer Society Press, 1998.
11. M. Pistore and D. Sangiorgi. A Partition Refinement Algorithm for the Pi-Calculus. Information and Computation, 164(2): 264-321, 2001.
12. D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, Department of Computer Science, University of Edinburgh, 1992.
13. D. Sangiorgi. A Theory of Bisimulation for the pi-Calculus. Acta Informatica, 33(1): 69-97, 1996.
14. B. Victor. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. PhD thesis, Department of Computer Systems, Uppsala University, 1998.