Multi labelled transition systems: a semantic framework for nominal calculi

MaRDI QIDQ2863915zbMATH OpenFDO

Authors Rocco De Nicola, Michele Loreti

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066107003362?np=y

zbMATH Keywords

coordination modelsmobile code languagesproof systemstemporal logics of programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Multiple-Labelled Transition Systems for nominal calculi and their logics
• scientific article; zbMATH DE number 1372683
• Rule formats for nominal process calculi
• Modal logics for nominal transition systems
• scientific article; zbMATH DE number 1107491

Cited in

(2)

• Rule formats for nominal process calculi
• Multiple-Labelled Transition Systems for nominal calculi and their logics

This page was built for publication: Multi labelled transition systems: a semantic framework for nominal calculi

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