James J. Leifer, Robin Milner  Home/Search
Context Related
| cl.cam.ac.uk/TechR...UCAMCLTR598.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/~rm135/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A framework is defined within which reactive systems can be studied formally. The framework is based upon s-categories, a new variety of categories, within which reactive systems can be set up in such a way that labelled transition systems can be uniformly extracted. These lead in turn to behavioural preorders and equivalences, such as the failures preorder (treated elsewhere) and bisimilarity, which are guaranteed to be congruential. The theory rests upon the notion of relative pushout... (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
3.4: Bigraphs and Mobile Processes - Jensen, Milner (2004) (Correct)
1.0: Bigraphical Reactive Systems: Basic Theory - Milner (2001) (Correct)
0.8: Technical Report - Number Computer Laboratory (1993) (Correct)
Similar documents based on text: More All
0.3: Deriving Bisimulation Congruences for Reactive Systems - Leifer, Milner (2000) (Correct)
0.2: Global Abstraction-Safe Marshalling With Hash Types - Leifer, Peskine, Sewell.. (2003) (Correct)
0.2: Shallow Linear Action Graphs and their Embeddings - Leifer, Milner (2000) (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/leifer04transition.html More
@misc{ dept93technical,
author = "C. dept",
title = "technical report",
text = "Computer science dept. technical report, UniversityofTennessee, Knoxville,
TN, January 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/article/leifer04transition.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
26 A survey of equivalence notions for net-based systems (context) - Pomello, Rozenberg et al. - 1992
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 Bigraphical reactive systems (context) - Milner - 2001
12 Contexts and Embeddings for closed shallow action graphs - Cattani, Leifer et al. - 2000
11 Characterizing behavioural congruences for Petri nets - Nielsen, Priese et al. - 1995
10 Bioware languages (context) - Cardelli - 2003
10 Bigraphs and mobile processes - Jensen, Milner - 2004
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 Models of sharing graphs (context) - Hasegawa - 1999
5 Axioms for bigraphical structure (context) - Milner - 2004
5 A uniform approach to true-concurrency and interleaving sema.. (context) - Priese, Wimmel - 1998
5 Business Process Management: the third wave (context) - Smith, Fingar - 2002
4 and Wischik (context) - Gardner
3 and Shapiro (context) - Regev, Silverman
3 Computational flux (context) - Milner - 2001
3 Application of stochastic process algebras to bioinformatics.. (context) - Priami, Regev et al. - 2001
3 calculus - a language for distributed control of reconfigura.. (context) - Rounds, Song et al. - 2003
3 Deriving bisimulation congruences: a 2categorical approach (context) - Sassone, Sobocinski - 2002
3 The box algebra: a model of nets and process expressions (context) - Best, Devillers et al. - 1999
1 Forthcoming PhD Dissertation (context) - Jensen - 2004
1 and Heckel (context) - Baldan, Corradini et al.
Documents on the same site (http://www.cl.cam.ac.uk/~rm135/):
Technical Report - Number Computer Laboratory (1993) (Correct)
Bigraphs for Petri nets - Milner (2004) (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