Roberto Bruni, Ugo Montanari, Vladimiro Sassone  Home/Search
Context
Related
| informatics.sussex...ileDyntcs00.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: informatics.sussex.ac.uk/users... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to characterize the coarsest congruence for ccs which is also a (weak) bisimulation, reconciles the bisimilarity as congruence property with such axioms and with the speci cation of open ended systems, where states can be recon gured at run-time, at the cost of an in nitary operation at the meta-level. We show that the... (Update)
Similar documents based on text: More All
0.8: Dynamic Bisimilarity for Reconfigurable and Mobile.. - Bruni, Montanari.. (Correct)
0.8: Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (2003) (Correct)
0.7: Open Ended Systems, Dynamic Bisimulation and Tile Logic - Bruni, Montanari, Sassone (2000) (Correct)
BibTeX entry: (Update)
@misc{ bruni-open,
author = "Roberto Bruni and Ugo Montanari and Vladimiro Sassone",
title = "Open Ended Systems, Dynamic Bisimulation and Tile Logic",
url = "citeseer.ist.psu.edu/726769.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
854 Information and Computation (context) - Milner, Parrow et al. - 1992
484 A Calculus of Communicating Systems (context) - Milner - 1980
182 Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992
159 The chemical abstract machine (context) - Berry, Boudol - 1992
121 Bisimulation can't be traced (context) - Bloom, Istrail et al. - 1995
113 Functorial semantics of algebraic theories (context) - Lawvere - 1963
78 Conditional rewriting logic as a uni ed model of concurrency (context) - Meseguer - 1992
66 Compositionality through an operational semantics of context.. (context) - Larsen, Xinxin - 1990
50 From rewrite rules to bisimulation congruences - Sewell - 1998
49 The tile model - Gadducci, Montanari - 2000
46 Mapping tile logic into rewriting logic - Meseguer, Montanari - 1998
34 An algebraic semantics for structured transition systems and.. (context) - Corradini, Montanari - 1992
31 Zero-safe nets: Comparing the collective and individual toke.. - Bruni, Montanari - 2000
28 Concurrency and automata on in nite sequences (context) - Park - 1981
[Article contains additional citations not shown here]
Documents on the same site (http://www.informatics.sussex.ac.uk/users/vs/research/): More
A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
Jeeg: A Programming Language for Concurrent Objects.. - Milicia, Sassone (2002) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (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