Multiple-Labelled Transition Systems for nominal calculi and their logics

DOI10.1017/S0960129507006585MaRDI QIDQ5458061zbMATH OpenOpenAlexWikidataFDO

Authors Rocco De Nicola, Michele Loreti

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

zbMATH Keywords

\(\mu\) Klaimasynchronous \(\pi \)-calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Multi labelled transition systems: a semantic framework for nominal calculi
• Modal logics for nominal transition systems
• Modal logics for nominal transition systems
• Formal Methods for Components and Objects
• Logic of transition systems

Cites work

• Algebraic laws for nondeterminism and concurrency
• Generative communication in Linda
• Mark, a reasoning kit for mobility
• Mobile ambients
• Modal logics for mobile processes
• Model checking mobile processes
• On bisimulations for the asynchronous -calculus
• Resource access control in systems of mobile agents
• The seal calculus

Cited in

(4)

• Multi labelled transition systems: a semantic framework for nominal calculi
• scientific article; zbMATH DE number 7136664 (Why is no real title available?)
• Modal logics for nominal transition systems
• Labelled transition logic: An outline

Describes a project that uses

Uses Software

• MoMo

This page was built for publication: Multiple-Labelled Transition Systems for nominal calculi and their logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458061)