Robin Milner  Home/Search
Context
Related
| cl.cam.ac.uk/users/rm135/ap.ps.Z 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: di.fc.ul.pt/~vv/mobilebib (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Action structures are proposed as a variety of algebra to underlie concrete models of concurrency and interaction. An action structure is equipped with composition and product of actions, together with an indexed family of abstractors to allow parametrisation of actions, and a reaction relation to represent activity. The eight axioms of an action structure make it an enriched strict monoidal category. In Part I the notion of action structure is developed mathematically, and examples are studied ... (Update)
Similar documents (at the sentence level):
26.0%: Action Structures - Milner (1992) (Correct)
23.7%: Action Structures for the pi-Calculus - Milner (1993) (Correct)
Active bibliography (related documents): More All
0.5: From Term Rewriting to Generalised Interaction Nets - Fernández, Mackie (1996) (Correct)
0.3: An Action Structure for Synchronous pi-Calculus - Milner (1993) (Correct)
0.2: Contexts and Embeddings for Closed Shallow Action Graphs - Cattani, Leifer, Milner (2000) (Correct)
Similar documents based on text: More All
0.1: Generating Abstractors from Abstraction Functions - Huang, Lamb (1992) (Correct)
0.0: Iterated Monoidal Categories II - Balteanu, Fiedorowicz, Schwänzl, Vogt (1998) (Correct)
0.0: Parallelogram-Law Type Identities - Egecioglu (1995) (Correct)
BibTeX entry: (Update)
@misc{ milner-action,
author = "Robin Milner",
title = "Action Structures and the Pi Calculus",
url = "citeseer.ist.psu.edu/53501.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
982 Theoretical Computer Science (context) - Girard, Linear - 1987
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
149 calculus: a tutorial (context) - Milner - 1993
146 EATCS Monographs on Theoretical Computer Science (context) - Reisig - 1983
139 Cambridge University Press (context) - Baeten, Weijland - 1990
117 Semantic domains - Gunter, Scott - 1990
69 The box calculus: a new causal algebra with multilabel commu.. (context) - Best, Devillers et al. - 1992
69 Triples and Theories (context) - Barr, Wells - 1985
64 Calculi for synchrony and asynchrony (context) - Milner - 1983
58 Equivalence notions for concurrent systems and refinement of.. (context) - van Glabbeek, Goltz - 1988
52 The chemical abstract machine (context) - Berry, Boudol - 1992
47 Petri nets are monoids (context) - Meseguer, Montanari - 1990
45 Towards action-refinement (context) - Aceto, Hennessy
44 event structures and domains (context) - Nielsen, Plotkin et al. - 1981
31 Categories of continuous functors (context) - Freyd, Kelly - 1972
25 calculus and linear logic - Bellin, Scott et al. - 1992
12 Algebre de processus et synchronisation (context) - Austry, Boudol - 1984
11 morphisms and compositionality (context) - Winskel - 1987
4 th ACM Symposium on Principles of Programming Languages (context) - Lafont - 1990
3 to appear in Volume IV of the Handbook of Logic and the Foun.. (context) - Nielsen, Winskel - 1993
3 Descriptive and analytical process algebras (context) - Cherkasova, Kotov - 1989
2 Action calculi II: ß-nets with boxes and replication (context) - Milner - 1993
1 Also titled Action calculi I: axioms and applications (context) - Milner - 1993
1 Action calculi III: higher-order (context) - Milner - 1993
Documents on the same site (http://www.di.fc.ul.pt/~vv/mobilebib.html): More
An Algebraic Verification of a Mobile Network - Orava (1991) (Correct)
Calculi for Interaction - Robin Milner (1996) (Correct)
Interaction Diagrams - Parrow (1995) (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