Duality and i/o-types in the π-calculus

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

Volumn 7454 LNCS, Issue , 2012, Pages 302-316

  Hirschkoff, Daniel ^a   Madiot, Jean Marie ^a   Sangiorgi, Davide ^b  

^a UNIVERSITÉ DE LYON   (France)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALL-BY-NAME; CONSERVATIVE EXTENSIONS; DUALITY PROPERTIES; EMBEDDINGS; ENCODINGS; INPUT AND OUTPUTS; INPUT/OUTPUT;

ARTIFICIAL INTELLIGENCE;

CALCULATIONS;

EID: 84866685946     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32940-1_22     Document Type: Conference Paper

References (12)

1. Fu, Y.: The χ-calculus. In: Proc. of APDC 1997, pp. 74-81. IEEE Computer Society Press (1997)
2. Gardner, P., Wischik, L.: Explicit Fusions. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol. 1893, pp. 373-382. Springer, Heidelberg (2000)
3. Hirschkoff, D., Madiot, J.M., Sangiorgi, D.: On subtyping in symmetric versions of the π-calculus (in preparation, 2012)
4. Merro, M.: Locality in the pi-calculus and applications to distributed objects. PhD thesis, École des Mines, France (2000)
5. Milner, R.: Functions as processes. Mathematical Structures in Computer Science 2(2), 119-141 (1992)
6. Merro, M., Sangiorgi, D.: On asynchrony in name-passing calculi. Mathematical Structures in Computer Science 14(5), 715-767 (2004)
7. Parrow, J., Victor, B.: The fusion calculus: expressiveness and symmetry in mobile processes. In: Proc. of LICS, pp. 176-185. IEEE (1998)
8. Sangiorgi, D.: π-calculus, internal mobility, and agent-passing calculi. Selected papers from TAPSOFT 1995, pp. 235-274. Elsevier (1996)
9. Sangiorgi, D., Walker, D.: The Pi-Calculus: a theory of mobile processes. Cambridge University Press (2001)
10. Vasconcelos, V.T.: Fundamentals of Session Types. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 158-186. Springer, Heidelberg (2009)
11. van Bakel, S., Vigliotti, M.G.: A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 84-98. Springer, Heidelberg (2009)
12. van Bakel, S., Vigliotti, M.G.: Implicative logic based encoding of the λ-calculus into the π-calculus (2010), http://www.doc.ic.ac.uk/~svb/