Formalising and Reasoning about Fudgets (1998)

Cached

Download Links

by Colin J. Taylor
Citations:2 - 1 self

Active Bibliography

13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
1 lambda-Calculus, Multiplicities and the pi-Calculus – Gérard Boudol, Cosimo Laneve, Cosimo Laneve - 1995
Non-deterministic Lazy it λ-calculus VS it π-calculus – Carolina Lavatelli - 1993
80 π-Calculus, Internal Mobility, and Agent-Passing Calculi – Davide Sangiorgi - 1995
65 The π-Calculus in Direct Style – Gerard Boudol - 1997
14 Solo Diagrams – Cosimo Laneve, Joachim Parrow, Björn Victor - 2001
29 Sequentiality and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2001
86 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
108 The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract) – Joachim Parrow, Björn Victor - 1998
39 Querying Nested Collections – Limsoon Wong - 1994
4 Pict Language Definition – Benjamin C. Pierce, David N. Turner - 1996
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
27 An Implicitly-Typed Deadlock-Free Process Calculus – Naoki Kobayashi, Shin Saito, Eijiro Sumii
13 A Typed Higher-Order Programming Language Based on the Pi-Calculus – Benjamin C. Pierce, Didier Rémy, David N. Turner - 1993
Mobility and Modularity: expressing π-calculus in CCS (Extended Abstract) – Richard Banach, Franck van Breugel
3 Typed π-calculus at work: a proof of Jones's parallelisation transformation on concurrent objects – Davide Sangiorgi - 1996