A Theory of Core Fudgets (1998)

Cached

Download Links

by Colin J. Taylor
Venue:Proc. ICFP'98, ACM
Citations:1 - 0 self

Active Bibliography

2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
Higher Order Operationational Techniques in Semantics - Introduction – A. D. Gordon, A. M. Pitts (Eds)
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi
11 An investigation into Functions as Processes – Davide Sangiorgi - 1993
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
9 Process calculus based upon evaluation to committed form – Andrew M. Pitts, Joshua R. X. Ross - 1996
97 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999