Labelled transition logic: An outline

DOI10.1007/PL00013308MaRDI QIDQ5950716zbMATH OpenFDO

Authors Egidio Astesiano, Gianna Reggio

Publication date 13 December 2001

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/PL00013308

zbMATH Keywords

labelled transition systemsLT structures

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Transition Logic Revisited
• Logic of transition systems
• scientific article; zbMATH DE number 1453058
• Deriving labelled transition systems -- a structural approach
• Logic Programming
• Multiple-Labelled Transition Systems for nominal calculi and their logics
• Modal Logic, Transition Systems and Processes
• Relational presheaves as labelled transition systems
• An algebraic semantics for structured transition systems and its application to logic programs

Cited in

(9)

• Specification of abstract dynamic-data types: A temporal logic approach
• Rewriting logic: Roadmap and bibliography
• Formalism and method
• A formally grounded software specification method
• scientific article; zbMATH DE number 2079818 (Why is no real title available?)
• The LTS workbench
• Safe reasoning with logic LTS
• On recursive operations over logic LTS
• Graphical versus logical specifications

This page was built for publication: Labelled transition logic: An outline

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