Ole Høgh Jensen, Robin Milner  Home/Search
Context Related
| cl.cam.ac.uk/TechR...UCAMCLTR570.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/Te...CAMCLTRtable (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them; it also allows bigraphs to reconfigure themselves. BRSs aim to provide a uniform way to model spatially distributed systems that both compute and communicate. In this memorandum we develop their static and dynamic theory. In part I, we illustrate... (Update)
Cited by: More
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
Congruences for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
Locating Reaction with 2-categories - Vladimiro Sassone Pawel (2005) (Correct)
Active bibliography (related documents): More All
3.6: Bigraphs and Mobile Processes - Jensen, Milner (2004) (Correct)
3.3: Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (Correct)
1.2: Bigraphical Reactive Systems: Basic Theory - Milner (2001) (Correct)
Similar documents based on text: More All
0.3: Technical Report - Number Computer Laboratory (1993) (Correct)
0.3: Bigraphs for Petri nets - Milner (2004) (Correct)
0.1: Xen 2002 - Barham, Dragovic, Fraser, Hand.. (2002) (Correct)
Related documents from co-citation: More All
10: From rewrite rules to bisimulation congruences - Sewell - 1998
9: Operational congruences for reactive systems - Leifer - 2001
7: Deriving bisimulation congruences for reactive systems - Leifer, Milner - 2000
BibTeX entry: (Update)
O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, Computer Laboratory, University of Cambridge, 2003. http://citeseer.ist.psu.edu/jensen03bigraphs.html More
@techreport{ jensen03bigraphs,
author = "O. Jensen and R. Milner",
title = "Bigraphs and mobile processes",
number = "570",
institution = "Computer Laboratory, University of Cambridge",
year = "2003",
url = "citeseer.ist.psu.edu/jensen03bigraphs.html" }
Citations (may not include all citations):502 Concurrency and automata on infinite sequences (context) - Park - 1980
484 A Calculus of Communicating Systems (context) - Milner - 1980
410 Mobile ambients - Cardelli, Gordon - 2000
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
294 An object calculus for asynchronous communications - Honda, Tokoro - 1991
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
159 The chemical abstract machine (context) - Berry, Boudol - 1992
155 Algebra for communicating processes with abstraction (context) - Bergstra, Klop - 1985
118 A spatial logic for concurrency - Caires, Cardelli - 2001
109 Interaction nets (context) - Lafont - 1990
89 Calculi for interaction - Milner - 1996
61 The fusion calculus: expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998
58 Bisimulation Congruences in Safe Ambients - Merro, Hennessy - 2002
56 Nomadic Pict: Language and infrastructure design for mobile .. - Wojciechowski, Sewell - 1999
50 From rewrite rules to bisimulation congruences - Sewell - 1998
47 The reflexive Cham and the join calculus - Fournet, Gonthier - 1996
45 Asynchrony and the #-calculus (context) - Boudol - 1992
32 Hierarchical graph transformation - Drewes, Hoffmann et al. - 2000
23 Process algebras with localities (context) - Castellani - 2001
22 Computer Journal (context) - Priami - 1995
20 Bigraphs and transitions (context) - Jensen, Milner - 2003
19 Operational congruences for reactive systems - Leifer - 2001
19 Bigraphical reactive systems: basic theory (context) - Milner - 2001
12 Contexts and Embeddings for closed shallow action graphs - Cattani, Leifer et al. - 2000
12 Bigraphical reactive systems (context) - Milner - 2001
10 Bioware languages (context) - Cardelli - 2003
9 A bi-categorical axiomatisation of concurrent graph rewritin.. - Gadducci, Heckel et al. - 1999
6 and Milner (context) - Leifer
5 Introduction to the theory of graph grammars (context) - Ehrig - 1979
5 Business Process Management: the third wave (context) - Smith, Fingar - 2002
4 and Wischik (context) - Gardner
3 and Montanari (context) - Hirsch
3 and Shapiro (context) - Regev, Silverman
3 Deriving bisimulation congruences: a 2categorical approach (context) - Sassone, Sobocinski - 2002
3 calculus - a language for distributed control of reconfigura.. (context) - Rounds, Song et al. - 2003
3 Application of stochastic process algebras to bioinformatics.. (context) - Priami, Regev et al. - 2001
3 Computational flux (context) - Milner - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-table.html): More
A Probabilistic Model of Information Retrieval.. - Jones, Walker, Robertson (1998) (Correct)
A HOL specification of the ARM instruction set architecture - Fox (2001) (Correct)
Software Visualization in Prolog - Grant (1999) (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