Alternate document:   Details   Symmetric Action Calculi (99) Philippa Gardner, Lucian J. Wischik

See this document in CiteSeerX!

Symmetric Action Calculi (1999)  (Make Corrections)  
Lucian Wischik, Philippa Gardner



  Home/Search   Context   Related

 
View or download:
cl.cam.ac.uk/~ljw100...sacabstract.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cl.cam.ac.uk/~ljw1...sacabstract (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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