Documents Related by Co-Citation

13 Pattern Calculus: Computing with Functions and Structures – Barry Jay - 2009
90 A calculus of mobile processes, part I/II – Robin Milner, Joachim Parrow, David Walker - 1992
179 The polyadic π-calculus: a tutorial – Robin Milner - 1991
108 The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract) – Joachim Parrow, Björn Victor - 1998
948 Generative communication in Linda – David Gelernter - 1985
783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
4 Comparing communication primitives via their relative expressive power – D Gorla
50 Explicit Fusions – Lucian Wischik, Philippa Gardner - 2000
19 Typing first-class patterns – Barry Jay - 2006
144 LIME: Linda meets mobility – Gian Pietro Picco, Amy L. Murphy, Gruia-catalin Roman - 1999
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
17 Towards a unified approach to encodability and separation results for process calculi – Daniele Gorla - 2008
5 Oleg Kiselyov, and Chung chieh Shan. Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages – Jacques Carette
5 Typed self-representation – Tillmann Rendel, Klaus Ostermann, Christian Hofer - 2009
17 Basic Observables for a Calculus for Global Computing – Rocco De Nicola, Daniele Gorla, Rosario Pugliese - 2004
2 Concurrent Pattern Calculus – Thomas Given-wilson, Daniele Gorla, Barry Jay
2 Concurrent Pattern Unification – T Given-Wilson - 2012
39 A Theory of Bisimulation for the pi-calculus – Davide Sangiorgi - 1993
73 On Bisimulations for the Asynchronous π-Calculus – Roberto M Amadio, Ilaria Castellani, Davide Sangiorgi - 1996