Tile formats for located and mobile systems.
From MaRDI portal
Publication:1854326
DOI10.1006/inco.1999.2825zbMath1046.68619MaRDI QIDQ1854326
Ugo Montanari, Gian-Luigi Ferrari
Publication date: 14 January 2003
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1999.2825
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Dynamic connectors for concurrency, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, Rewriting logic: Roadmap and bibliography, Observational congruences for dynamically reconfigurable tile systems, Normal forms for algebras of connections.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Location equivalence in a parametric setting
- Structural operational semantics for weak bisimulations
- On the implementation of concurrent calculi in net calculi: two case studies
- Observing localities
- Higher-level synchronising devices in Meije-SCCS
- Conditional rewriting logic as a unified model of concurrency
- A calculus of mobile processes. II
- Structured operational semantics and bisimulation as a congruence
- Iteration theories of synchronization trees
- On bisimulations for the asynchronous \(\pi\)-calculus
- Plain CHOCS. A second generation calculus for higher order processes
- Turning SOS rules into equations
- Flow models of distributed computations: Three equivalent semantics for CCS
- Comparing locality and causality based equivalences
- Objects in the \(\pi\)-calculus
- Axiomatizing the algebra of net computations and processes
- Trace nets and process automata
- An algebraic presentation of term graphs, via gs-monoidal categories
- CPO models for compact GSOS languages
- Compositionality Through an Operational Semantics of Contexts
- Bisimulation can't be traced
- Distribution and locality of concurrent systems
- Axiomatizing permutation equivalence
- Relating two categorical models of term rewriting
- Catégories structurées
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
