Categorical and Graphical Models of Programming Languages (2001)

Cached

Download Links

by Ralf Schweimeier
Citations:2 - 0 self

Documents Related by Co-Citation

14 Solo Diagrams – Cosimo Laneve, Joachim Parrow, Björn Victor - 2001
10 Concurrent Constraints in the Fusion Calculus (Extended Abstract) – Björn Victor, Joachim Parrow - 1998
13 Explicit Fusions: Theory and Implementation – Lucian Wischik - 2001
5 Bisimulation lattice of chi processes – Yuxi Fu - 1998
7 On the expressiveness of chi, update, and fusion calculi – M Merro
21 Constraints for Free in Concurrent Computation – Joachim Niehren, Martin Müller - 1995
7 Old names for nu – L Wischik
2 Symmetric action calculi (abstract). Unpublished manuscript – P Gardner, L Wischik - 1999
2 Cyclic lambda-graph reduction (call-by-need) and their process semantics – T Heindel - 2003
4 A reliable protocol for synchronous rendezvous – Lucian Wischik, Damon Wischik, Mura Anteo Zamboni - 2004
8 Strong Bisimulation for the Explicit Fusion Calculus – Lucian Wischik, Philippa Gardner - 2004
9 Internal Mobility, and Agent Passing Calculi – Pi-Calculus - 1996
14 D-fusion: a distinctive fusion calculus – Michele Boreale, Maria Grazia Buscemi, Ugo Montanari - 2004
9 The fusion machine – P Gardner, C Laneve, L Wischik - 2002
14 Linear Forwarders – Philippa Gardner, Cosimo Laneve , Lucian Wischik - 2007
50 Nomadic Pict: Correct Communication Infrastructure for Mobile Computation – Asis Unyapoth, Peter Sewell - 2001
49 An Asynchronous, Distributed Implementation of Mobile Ambients – Cédric Fournet, Jean-Jacques Lévy, Implementation Of Mobile Ambients, Alan Schmitt, Inria Rocquencourt - 2000
4 The chi-calculus – Y Fu - 1997
19 Elementary Structures in Process Theory (1) Sets with Renaming – Kohei Honda - 1997