| Alternate document: Details Symmetric Action Calculi (99) Philippa Gardner, Lucian J. Wischik |
Lucian Wischik, Philippa Gardner  Home/Search
Context
Related
| cl.cam.ac.uk/~ljw100...sacabstract.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/~ljw1...sacabstract (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion is composed from two parts: a co-name, illustrated by the wire going into the name, and then restriction. (c) Fusion. (In non-symmetric action calculi, restriction is expressed more indirectly with a `new' control; and fusions cannot be directly expressed. ) In the symmetric action calculi and in the Fusion calculus one can express the fusion of two names and, more generally, equivalence relations over names. In the Fusion calculus, these fusions have e#ect only as part of the labelled... (Update)
Active bibliography (related documents): More All
0.5: Closed Action Calculi - Gardner (1998) (Correct)
0.3: Symmetric Action Calculi - Gardner, Wischik (1999) (Correct)
0.3: Graphical Presentations of Interactive Systems - Gardner (1999) (Correct)
Similar documents based on text: More All
0.4: Explicit Fusions - Wischik, Gardner (2000) (Correct)
0.4: Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)
0.2: A Note on Relativised Products of Modal Logics - Kurucz, Zakharyaschev (2003) (Correct)
BibTeX entry: (Update)
@misc{ wischik-symmetric,
author = "Lucian Wischik and Philippa Gardner",
title = "Symmetric Action Calculi",
url = "citeseer.ist.psu.edu/wischik99symmetric.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
140 On reduction-based process semantics - Honda, Yoshida - 1994 ACM DBLP
89 Calculi for interaction - Milner - 1996 DBLP
61 The fusion calculus: Expressiveness and symmetry in mobile p.. - Victor - 1998 DBLP
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996 ACM DBLP
24 An inductive view of graph transformation - Gadducci, Heckel - 1998 ACM DBLP
22 Graph notation for concurrent combinators - Yoshida - 1995 ACM DBLP
19 Information and Computation (context) - Lafont - 1997 DBLP
14 A name-free account of action calculi (context) - Gardner - 1995
9 Categorical logic of names and abstraction in action calculi - Pavlovic - 1997 ACM DBLP
4 Reflexive Action Calculi (context) - Milner - 1994
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC