A Modal Logic for Full LOTOS based on Symbolic Transition Systems

DOI10.1093/COMJNL/45.1.55MaRDI QIDQ4328968zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Savi Maharaj, Carron Shankland, M. Calder

Publication date 6 April 2003

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL http://dspace.stir.ac.uk/bitstream/1893/10744/1/CJpaper.pdf

zbMATH Keywords

symbolic transition systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Algebraic Methodology and Software Technology
• Modal Logic, Transition Systems and Processes
• Safe reasoning with logic LTS
• Modal logics for nominal transition systems
• Modal logics for communicating systems

Cited in

(2)

• Executable structural operational semantics in Maude
• Modal logics for nominal transition systems

Describes a project that uses

Uses Software

• PVS

This page was built for publication: A Modal Logic for Full LOTOS based on Symbolic Transition Systems

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