Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms (1997)

by Peter Selinger
Citations:3 - 0 self

Active Bibliography

23 First-order axioms for asynchrony – Peter Selinger - 1997
13 Minimality and Separation Results on Asynchronous Mobile Processes - Representability Theorems by Concurrent Combinators (Extended Abstract) – Nobuko Yoshida - 1998
88 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
34 Operational congruences for reactive systems – James Judi Leifer - 2001
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
119 Abstractions for mobile computation – Luca Cardelli - 1999
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
19 On Implementations and Semantics of a Concurrent Programming Language – Peter Sewell - 1997
32 Trace and Testing Equivalence on Asynchronous Processes – Michele Boreale, Rocco De Nicola, Rosario Pugliese - 1999
βη-complete models for System F – Stefano Berardi, Chantal Berline - 2000
1 Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation – Peter Sewell, Pawe̷l T. Wojciechowski, Asis Unyapoth
Mobility and Modularity: expressing π-calculus in CCS (Extended Abstract) – Richard Banach, Franck van Breugel
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
17 On the relative expressive power of asynchronous communication primitives – Daniele Gorla - 2006
20 Testing Theories for Asynchronous Languages – Ilaria Castellani, Matthew Hennessy - 1998
2 A Randomized Distributed Encoding of the π-Calculus with Mixed Choice – Catuscia Palamidessi, Oltea Mihaela Herescu - 2002
4 A Randomized Encoding of the π-Calculus with Mixed Choice – Catuscia Palamidessi, Oltea Mihaela Herescu - 2001