Safe reasoning with logic LTS

DOI10.1016/J.TCS.2011.03.015MaRDI QIDQ549200zbMATH OpenOpenAlexFDO

Authors Gerald Lüttgen, Walter Vogler

Publication date 7 July 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.03.015

zbMATH Keywords

temporal logicsafety propertieslabelled transition systemsheterogeneous specificationmodal refinementready simulation

Mathematics Subject Classification ID

Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Safe Reasoning with Logic LTS
• On recursive operations over logic LTS
• Labelled transition logic: An outline
• Assumption/guarantee specifications in linear-time temporal logic
• Encoding safety in \(\mathrm{CLL}_R\)

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1538045 (Why is no real title available?)
• scientific article; zbMATH DE number 1863165 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A logical view of composition
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• Conjunction on processes: Full abstraction via ready-tree semantics
• Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
• Handbook of process algebra
• Modal I/O Automata for Interface and Product Line Theories
• Nets, Terms and Formulas
• On Modal Refinement and Consistency
• On determinism in modal transition systems
• Process algebra and conditional composition
• Processes with local and global liveness requirements
• Ready simulation for concurrency: it's logical!
• Refusal simulation and interactive games
• Statecharts: a visual formalism for complex systems

Cited in

(10)

• On recursive operations over logic LTS
• A Modal Logic for Full LOTOS based on Symbolic Transition Systems
• Safe Reasoning with Logic LTS
• Encoding safety in \(\mathrm{CLL}_R\)
• scientific article; zbMATH DE number 1107560 (Why is no real title available?)
• Processes with infinite liveness requirements
• Ready simulation for concurrency: it's logical!
• ACTL for modal interface automata
• Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\)
• On the greatest solution of equations in \(\mathrm{CLL}_R\)

This page was built for publication: Safe reasoning with logic LTS

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