Gian Luca Cattani, James J. Leifer, Robin Milner  Home/Search
Context Related
| cl.cam.ac.uk/~jjl21/arti...conemb.ps.gz 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/~jjl21/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Action calculi, which have a graphical presentation, were introduced to develop a theory shared among different calculi for interactive systems. The -calculus, the -calculus, Petri nets, the Ambient calculus and others may all be represented as action calculi. This paper develops a part of the shared theory. A recent paper by two of the authors was concerned with the notion of reactive system, essentially a category of process contexts whose behaviour is presented as a reduction relation.... (Update)
Cited by: More
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (Correct)
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (Correct)
Similar documents (at the sentence level):
10.5%: Operational Congruences for Reactive Systems - Leifer (2001) (Correct)
Active bibliography (related documents): More All
0.6: Shallow Linear Action Graphs and their Embeddings - Leifer, Milner (2000) (Correct)
0.5: An Algebra Of Data Flows - Winkowski (1999) (Correct)
0.5: PSCP: A Scalable Parallel ASIP Architecture for Reactive.. - Andreas Pyttel Alexander (1998) (Correct)
Similar documents based on text: More All
0.2: A Representation Result for Free Cocompletions - Power, Cattani, Winskel (1999) (Correct)
0.2: Presheaf Models for the pi-Calculus - Cattani, Stark, Winskel (1997) (Correct)
0.1: A Theory of Recursive Domains with Applications to Concurrency .. - Cattani, al. (Correct)
Related documents from co-citation: More All
12: Calculi for interaction - Milner - 1996
10: Communicating Sequential Processes (context) - Hoare - 1985
9: From rewrite rules to bisimulation congruences - Sewell - 1998
BibTeX entry: (Update)
Cattani, G.L., Leifer, J.J. and Milner, R. (2000),. Contexts and Embeddings for closed shallow action graphs. University of Cambridge Computer Laboratory, Technical Report 496. http://citeseer.ist.psu.edu/cattani00contexts.html More
@misc{ cattani00contexts,
author = "G. Cattani and J. Leifer and R. Milner",
title = "Contexts and Embeddings for closed shallow action graphs",
text = "Cattani, G.L., Leifer, J.J. and Milner, R. (2000),. Contexts and Embeddings
for closed shallow action graphs. University of Cambridge Computer Laboratory,
Technical Report 496.",
year = "2000",
url = "citeseer.ist.psu.edu/cattani00contexts.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
159 The chemical abstract machine (context) - Berry, Boudol - 1992
99 Volume 5 of Graduate Texts in Mathematics (context) - Lane, Categories et al. - 1971
89 Calculi for interaction - Milner - 1996
69 Information and Computation (context) - Joyal, Nielsen et al. - 1996
67 Towards a mathematical operational semantics - Turi, Plotkin - 1997
50 From rewrite rules to bisimulation congruences - Sewell - 1998
49 Equational term graph rewriting - Ariola, Klop - 1996
42 Deriving bisimulation congruences for reactive systems - Leifer, Milner - 2000
21 Flowgraphs and Flow Algebras (context) - Milner - 1979
20 A hierarchy of equivalences for asynchronous calculi - Fournet, Gonthier - 1998
10 Explicit fusions - Gardner, Wischik - 2000
6 Structural operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992
5 Closed action calculi - Gardner - 1999
4 th ACM Symposium on Principles of Programming Languages (context) - Lafont - 1990
3 Foundations of System Specification and Computational Struct.. (context) - Cardelli, Gordon - 1998
2 Lecture Notes in Comp (context) - Honda, Process - 1995
2 Lecture Notes in Comp (context) - Milner, Sangiorgi - 1992
1 Lecture Notes in Comp (context) - Corradini, Montanari - 1991
1 Distinguished Dissertation Series (context) - Hasegawa, Models - 1999
1 Traced monoidal categories and models of cyclic lambda calcu.. (context) - Joyal, Street et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/~jjl21/):
Shallow Linear Action Graphs and their Embeddings - Leifer, Milner (2000) (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