Philippa Gardner, Lucian J. Wischik  Home/Search
Context Related
| cl.cam.ac.uk/~ljw1004/...sactheory.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/~ljw1004/res...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many calculi for describing interactive behaviour involve names, name-abstraction and name-restriction. Milner's reflexive action calculi provide a framework for exploring such calculi. It is based on names and name-abstraction. We introduce an alternative framework, the symmetric action calculi, based on names, co-names and name-restriction (or hiding). Name-abstraction is intepreted as a derived operator. The symmetric framework conservatively extends the reflexive framework. It allows for a... (Update)
Context of citations to this paper: More
.... a framework based on the structural congruence studied here [4, 2] It 9 is related to the action calculus framework of Milner [9, 3]. Explicit fusions allow us to work in a process algebra style, rather than the categorical style used for action calculi. We are...
.... University of Cambridge, Computer Laboratory October 2000 In previous work, action calculus has been presented in terms of action graphs. Many calculi, or at least their salient features, can be expressed as specific action calculi; examples are Petri nets, calculus,...
Cited by: More
Explicit Fusions - Wischik, Gardner (2000) (Correct)
Shallow Linear Action Graphs and their Embeddings - Leifer, Milner (2000) (Correct)
Similar documents (at the sentence level):
50.1%: Symmetric Action Calculi - Gardner, Wischik (1999) (Correct)
Active bibliography (related documents): More All
0.5: Graphical Presentations of Interactive Systems - Gardner (1999) (Correct)
0.5: Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
0.4: Closed Action Calculi - Gardner (1998) (Correct)
Similar documents based on text: More All
0.3: Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)
0.3: A Tool for Implementing Action Graphs - Gardner, Norrish, Serjantov (Correct)
0.3: The Fusion Machine (Extended Abstract) - Gardner, Laneve, Wischik (Correct)
Related documents from co-citation: More All
3: Calculi for interaction - Milner - 1996
3: Elementary structures (context) - Honda
2: Explicit fusions - Gardner, Wischik - 2000
BibTeX entry: (Update)
P. Gardner and L. Wischik. Symmetric action calculi (abstract). Manuscript online. http://citeseer.ist.psu.edu/gardner99symmetric.html More
@misc{ gardner-symmetric,
author = "P. Gardner and L. Wischik",
title = "Symmetric action calculi",
text = "P. Gardner and L. Wischik. Symmetric action calculi (abstract). Manuscript
online.",
url = "citeseer.ist.psu.edu/gardner99symmetric.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
106 Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
89 Calculi for interaction - Milner - 1996
70 On asynchronous communication semantics - Honda, Tokoro - 1992
45 Communicating and Mobile Systems: The Pi Calculus (context) - Milner - 1999
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996
26 Mathematical Proceedings of the Cambridge Philosophical Soci.. (context) - Joyal, Street et al. - 1996
22 Graph notation for concurrent combinators - Yoshida - 1995
19 Information and Computation (context) - Lafont - 1997
18 INRIA Sofia-Antipolis (context) - Boudol, the et al. - 1992
13 Theoretical Computer Science (context) - Gardner, calculi - 1999
11 Minimality and separation results on asynchronous mobile pro.. - Yoshida - 1998
9 University of Cambridge (context) - Jensen, thesis - 1999
8 Types and models in higher-order action calculi - Gardner, Hasegawa - 1997
7 Concurrent constraints in the fusion calculus (context) - Victor, Parrow - 1998
4 Reflexive Action Calculi (context) - Milner - 1994
2 local subtyping for a distributed #-calculus (context) - Sewell - 1997
2 Graphical presentations of interactive systems - Gardner - 1999
Documents on the same site (http://www.cl.cam.ac.uk/~ljw1004/research/index.html):
First Year Report: Symmetric Action Calculi - Wischik (1998) (Correct)
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