Robin Milner  Home/Search
Context Related
| cl.cam.ac.uk/TechR...UCAMCLTR523.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 notion of bigraph is proposed as the basis for a model of mobile interaction. A bigraph consists of two independent structures: a topograph representing locality and a monograph representing connectivity. Bigraphs are equipped with reaction rules to form bigraphical reactive systems (BRSs), which include versions of the -calculus and the ambient calculus. Bigraphs are shown to be a special case of a more abstract notion, wide reactive systems (WRSs), not assuming any particular graphical or... (Update)
Context of citations to this paper: More
...Based Queueing (CBQ) style router. The tools used included two publicly available load generators: for TCP traffic, ttcp [Stine90, CCCI99] and for UDP traffic, netperf [HP99] The commonly avail73 able network tracing tool tcpdump [Jacobson99a] was used as the principle...
Cited by: More
Measurement-Based Management of Network Resources - Moore (2002) (Correct)
The Spectral Decomposition of Nonsymmetric.. - Bai, Demmel.. (1995) (Correct)
Active bibliography (related documents): More All
1.2: Bigraphs and Mobile Processes - Jensen, Milner (2004) (Correct)
1.0: Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (Correct)
0.5: Technical Report - Number Computer Laboratory (1993) (Correct)
Similar documents based on text: More All
0.5: Pronto: MobileGateway with publish-subscribe paradigm over.. - Yoneki, Bacon (2003) (Correct)
0.4: Iota: A concurrent XML scripting language with applications.. - Bierman, Sewell (2003) (Correct)
0.4: The Escritoire: A personal projected display for interacting .. - Ashdown, Robinson (2002) (Correct)
Related documents from co-citation: More All
2: A Measurement-based Admission Control Algorithm for Integrated Services Packet N.. - Danzig, Shenker et al. - 1995
2: A generalized processor sharing approach to flow control - the single node case (context) - Parekh, Gallager - 1992
2: A Time-Scale Decomposition Approach to Measurement-Based Admission Control - Grossglauser, Tse - 1999
BibTeX entry: (Update)
Computer science dept. technical report, UniversityofTennessee, Knoxville, TN, January 1993. http://citeseer.ist.psu.edu/article/milner01bigraphical.html More
@article{ milner01bigraphical,
author = "Robin Milner",
title = "Bigraphical Reactive Systems",
journal = "Lecture Notes in Computer Science",
volume = "2154",
pages = "16--35",
year = "2001",
url = "citeseer.ist.psu.edu/article/milner01bigraphical.html" }
Citations (may not include all citations):1174 Statecharts: a visual formalism for complex systems - Harel - 1987
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
159 The chemical abstract machine (context) - Berry, Boudol - 1992 ACM DBLP
116 Introduction to the algebraic theory of graph grammars (context) - Ehrig - 1979
111 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Ehrig, Kreowski et al. - 1999 ACM
109 Interaction nets (context) - Lafont - 1990 ACM DBLP
89 Calculi for interaction - Milner - 1996 DBLP
61 The fusion calculus: expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998 DBLP
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
47 Petri nets are monoids (context) - Meseguer, Montanari - 1990 DBLP
32 Hierarchical graph transformation - Drewes, Hoffmann et al. - 2000 ACM DBLP
30 Fundamentals of a theory of asynchronous information flow (context) - Petri - 1962
24 An inductive view of graph transformation - Gadducci, Heckel - 1998
23 Process algebras with localities (context) - Castellani - 2001
19 Operational congruences for reactive systems - Leifer - 2001
15 Nomadic Pict: Correct communication infrastructure for mobil.. - Sewell, Unyapoth - 2001 DBLP
12 Contexts and Embeddings for closed shallow action graphs - Cattani, Leifer et al. - 2000
10 Configuration Structures - van Glabbeek, Plotkin - 1995
10 Process Structures - Honda - 1995
6 and Milner (context) - Leifer
6 and Milner (context) - Leifer
5 Models of sharing graphs (context) - Hasegawa - 1999
4 and Wischik (context) - Gardner
3 and Montanari (context) - Hirsch
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