Multiple-Labelled Transition Systems for nominal calculi and their logics
From MaRDI portal
Publication:5458061
DOI10.1017/S0960129507006585zbMath1141.68047OpenAlexW2067783335WikidataQ124439110 ScholiaQ124439110MaRDI QIDQ5458061
Michele Loreti, Rocco De Nicola
Publication date: 10 April 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129507006585
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Uses Software
Cites Work
- Modal logics for mobile processes
- On bisimulations for the asynchronous \(\pi\)-calculus
- Mobile ambients
- Model checking mobile processes
- Resource access control in systems of mobile agents
- Mark, a reasoning kit for mobility
- The seal calculus
- Algebraic laws for nondeterminism and concurrency
- Generative communication in Linda
This page was built for publication: Multiple-Labelled Transition Systems for nominal calculi and their logics