A Modal Logic for Full LOTOS based on Symbolic Transition Systems

DOI10.1093/COMJNL/45.1.55zbMath1008.68081DBLPjournals/cj/CalderMS02OpenAlexW2143357632WikidataQ59675407 ScholiaQ59675407MaRDI QIDQ4328968

Carron Shankland, Savi Maharaj, Muffy 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)

Related Items (2)

Executable structural operational semantics in Maude ⋮ Unnamed Item

Uses Software

• PVS

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