Towards a unified approach to encodability and separation results for process calculi
暂无分享,去创建一个
[1] Frank S. de Boer,et al. Embedding as a Tool for Language Comparison , 1994, Inf. Comput..
[2] Uwe Nestmann. What is a "Good" Encoding of Guarded Choice? , 2000, Inf. Comput..
[3] Nobuko Yoshida,et al. Graph Types for Monadic Mobile Processes , 1996, FSTTCS.
[4] David Walker,et al. Types and full abstraction for polyadic pi-calculus , 2005, Inf. Comput..
[5] Frank D. Valencia,et al. Recursion vs Replication in Process Calculi: Expressiveness , 2005, Bull. EATCS.
[6] Julian Rathke,et al. Semantic Barbs and Biorthogonality , 2007, FoSSaCS.
[7] Maurice Herlihy,et al. Impossibility and universality results for wait-free synchronization , 1988, PODC '88.
[8] R. J. vanGlabbeek. The linear time - branching time spectrum , 1990 .
[9] Uwe Nestmann. Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi , 2006, CONCUR.
[10] Michele Bugliesi,et al. Secure implementations of typed channel abstractions , 2007, POPL '07.
[11] Sergio Maffeis,et al. Matching Systems for Concurrent Calculi , 2007, EXPRESS.
[12] Joachim Parrow,et al. Expressiveness of Process Algebras , 2008, LIX.
[13] Rocco De Nicola,et al. Testing Equivalence for Processes , 1983, ICALP.
[14] Cosimo Laneve,et al. Solos in Concert , 1999, ICALP.
[15] Daniele Gorla. Comparing communication primitives via their relative expressive power , 2008, Inf. Comput..
[16] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[17] Mario Tokoro,et al. An Object Calculus for Asynchronous Communication , 1991, ECOOP.
[18] Michele Boreale. On the Expressiveness of Internal Mobility in Name-Passing Calculi , 1998, Theor. Comput. Sci..
[19] Benjamin C. Pierce,et al. Decoding Choice Encodings , 1996, CONCUR.
[20] Luca Cardelli,et al. Types for mobile ambients , 1999, POPL '99.
[21] Daniele Gorla. Comparing Calculi for Mobility via their Relative Expressive Power , 2008 .
[22] Davide Sangiorgi,et al. Bisimulation for Higher-Order Process Calculi , 1994, Inf. Comput..
[23] Catuscia Palamidessi,et al. Comparing the expressive power of the synchronous and the asynchronous π-calculus , 1998, POPL '97.
[24] Rocco De Nicola,et al. Testing Equivalences for Processes , 1984, Theor. Comput. Sci..
[25] R. V. Glabbeek. The Linear Time - Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves , 1993 .
[26] Frank D. Valencia,et al. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus , 2007, EXPRESS.
[27] D. Walker,et al. A Calculus of Mobile Processes, Part Ii , 1989 .
[28] Francesco Zappa Nardelli,et al. Behavioral theory for mobile ambients , 2005, JACM.
[29] Daniele Gorla. Towards a unified approach to encodability and separation results for process calculi , 2010, Inf. Comput..
[30] Catuscia Palamidessi,et al. Comparing the expressive power of the synchronous and asynchronous $pi$-calculi , 2003, Mathematical Structures in Computer Science.
[31] Björn Victor,et al. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
[32] Maurizio Gabbrielli,et al. Replication vs. Recursive Definitions in Channel Based Calculi , 2003, ICALP.
[33] Luca Cardelli,et al. Mobility Types for Mobile Ambients , 1999, ICALP.
[34] Sergio Maffeis,et al. On the Expressive Power of Polyadic Synchronisation in pi-calculus , 2002, EXPRESS.
[35] Albert Benveniste,et al. Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation , 2000, Inf. Comput..
[36] Catuscia Palamidessi,et al. Separation of synchronous and asynchronous communication via testing , 2007, Theor. Comput. Sci..
[37] Davide Sangiorgi,et al. On Bisimulations for the Asynchronous pi-Calculus , 1996, Theor. Comput. Sci..
[38] Francesca Levi. A typed encoding of boxed into safe ambients , 2005, Acta Informatica.
[39] Maria Grazia Vigliotti,et al. Electoral Systems in Ambient Calculi , 2004, FoSSaCS.
[40] Luca Cardelli,et al. Types for the Ambient Calculus , 2002, Inf. Comput..
[41] Joachim Parrow,et al. Trios in concert , 2000, Proof, Language, and Interaction.
[42] G. Erard Boudol. Asynchrony and the -calculus (note) , 1992 .
[43] Daniele Gorla. On the Relative Expressive Power of Ambient-Based Calculi , 2008, TGC.
[44] David Walker,et al. On Synchronous and Asynchronous Mobile Processes , 2000, FoSSaCS.
[45] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .
[46] Robin Milner,et al. Functions as processes , 1990, Mathematical Structures in Computer Science.
[47] James Riely,et al. Resource Access Control in Systems of Mobile Agents , 1998, Electron. Notes Theor. Comput. Sci..
[48] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[49] Robin Milner,et al. Barbed Bisimulation , 1992, ICALP.
[50] Vasco Thudichum Vasconcelos,et al. Processes, Functions, and Datatypes , 1999, Theory Pract. Object Syst..
[51] Björn Victor,et al. A Fully Abstract Encoding of the pi-Calculus with Data Terms , 2005, ICALP.
[52] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.
[53] Björn Victor,et al. Spi calculus translated to /spl pi/-calculus preserving may-tests , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[54] Daniele Gorla. On the Relative Expressive Power of Asynchronous Communication Primitives , 2006, FoSSaCS.
[55] Uwe Nestmann. What is a ‘Good’ Encoding of Guarded Choice? , 1997 .
[56] Björn Victor,et al. Spi Calculus Translated to --Calculus Preserving May-Tests , 2004, LICS 2004.
[57] Nobuko Yoshida,et al. On Reduction-Based Process Semantics , 1995, Theor. Comput. Sci..
[58] Daniele Gorla. On the Relative Expressive Power of Calculi for Mobility , 2009, MFPS.
[59] Maurice Herlihy,et al. Wait-free synchronization , 1991, TOPL.
[60] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum II , 1993, CONCUR.
[61] Maurizio Gabbrielli,et al. Comparing Recursion, Replication, and Iteration in Process Calculi , 2004, ICALP.
[62] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[63] Davide Sangiorgi,et al. On Asynchrony in Name-Passing Calculi , 1998, ICALP.
[64] Davide Sangiorgi,et al. The Pi-Calculus - a theory of mobile processes , 2001 .
[65] Raheel Ahmad,et al. The π-Calculus: A theory of mobile processes , 2008, Scalable Comput. Pract. Exp..
[66] Daniele Gorla. Synchrony vs Asynchrony in Communication Primitives , 2006, EXPRESS.
[67] Matthew Hennessy,et al. An efficiency preorder for processes , 1991, Acta Informatica.
[68] Maria Grazia Vigliotti,et al. Leader Election in Rings of Ambient Processes , 2005, EXPRESS.