Tile Formats for Located and Mobile Systems

Tile Formats for Located and Mobile Systems

Cached

Download Links

[www.di.unipi.it]

Other Repositories/Bibliography

DBLP

by GianLuigi Ferrari , Ugo Montanari

Venue:	TO APPEAR IN INFORMATION AND COMPUTATION
Citations:	11 - 6 self

BibTeX

@MISC{Ferrari_tileformats,
    author = {GianLuigi Ferrari and Ugo Montanari},
    title = {Tile Formats for Located and Mobile Systems},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

2971	Communication and Concurrency - Milner - 1989
1182	A structural approach to operational semantics - Plotkin - 1981
341	An object calculus for asynchronous communication - Honda, Tokoro - 1991
238	Expressing Mobility in Process Algebras: First-Order and HigerOrder Paradigms - Sangiorgi - 1992
183	Structured operational semantics and bisimulation as a congruence - Groote, Vaandrager - 1992
169	Bisimulation Can’t Be Traced - Bloom, Istrael, et al. - 1995
152	Functorial Semantics of Algebraic Theories - Lawvere - 1963
107	Transition System Specification with Negative Premises - Groote - 1990
103	A congruence theorem for structured operational semantics with predicates - Baeten, Verhoef - 1993
77	F.: Turning SOS rules into equations - Aceto, Bloom, et al. - 1994
70	Compositionality through an operational semantics of contexts - Larsen, Xinxin - 1991
60	The tile model - Gadducci, Montanari - 2000
55	Iteration theories - Bloom, Esik - 1993
37	Order Sorted Algebras - Goguen - 1978
34	A congruence theorem for structured operational semantics of higher-order languages - Bernstein - 1998
33	Higher-level synchronising devices - Simone - 1985
32	A 2-categorical presentation of term graph rewriting - Corradini, Gadducci - 1997
32	Mapping Tile Logic into Rewriting Logic - Meseguer, Montanari - 1998
31	Flow models of distributed computations: three equivalent semantics for CCS - BOUDOL, CASTELLANI - 1994
31	An algebraic presentation of term graphs, via gs-monoidal categories, Applied Categorical Structures 7 - Corradini, Gadducci - 1999
25	U.: Partial orderings descriptions and observations of nondeterministic concurrent processes - Degano, Nicola, et al.
24	On the Algebraic Approach to Concurrent Term Rewriting - Gadducci - 1996
23	Graph grammars and constraint solving for software architecture styles - Hirsch, Inverardi, et al. - 1998
19	Bisimilarity of open terms - Rensink - 2000
19	Expressive results for process algebras - Vaandrager - 1993
18	Relating two categorical models of term rewriting - Corradini, Gadducci, et al. - 1995
17	Zero-Safe Nets, or Transition Synchronization Made Simple - Bruni, Montanari - 1997
15	Graph rewriting, constraint solving and tiles for coordinating distributed systems - Montanari, Rossi - 1999
14	Algebraic Approaches to Graph Transformation - Corradini, Montanari, et al. - 1999
14	Tiles for Concurrent and Located Calculi - Ferrari, Montanari - 1997
13	Tiles, rewriting rules and CCS - Gadducci, Montanari - 1996
13	U.Montanari: On the Implementation of Concurrent Calculi in Net Calculi: two Case Studies. Theoretical Computer Science 141(1-2 - Gorrieri - 1995
12	Towards the unification of models of concurrency - Ferrari, Montanari - 1990
11	Catégories structurées - Ehresmann - 1963
9	Structural operational semantics for weak bisimulations, Theoret - Bloom - 1995
8	Conditional Rewriting Logic as a Unified Model - Meseguer - 1992
8	From rewrite to bisimulation congruences - Sewell - 1998
6	Asynchrony and the ss-calculus (note). Rapport de recherche 1702, INRIA Sophia-Antipolis - Boudol - 1992
6	Distribution and locality of concurrent systems - Corradini, Nicola - 1994
6	The o/ -Laws of Fusion - Parrow, Victor - 1998
6	Plain Chocs - Thomsen - 1993
5	E��cient minimization up to location equivalence - Montanari, Pistore, et al. - 1996
5	Objects in the ss-calculus - Walker - 1995
2	Trace nets - Badouel, Darondeau - 1993
2	A tile-based coordination view of asynchronous ss-calculus - Ferrari, Montanari - 1994
1	Deriving Complete Inference Systems for A - Aceto - 1994
1	On Bisimulations for the Asynchronous ss-calculus, Theoretical Computer Science 195 - Amadio, Castellani, et al. - 1998
1	Local and Global Causes, Acta Informatica 31 - Kiehn - 1994
1	Can Actors and ss-Agents Live Together - Montanari, Talcott - 1998
1	Location Equivalence in a Parametric Setting. Theoretical Computer Science 149 - Montanari, Yankelevich - 1995