An Adequate Logic for Full LOTOS

14 years 3 months ago

Download www.dcs.gla.ac.uk

We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition systems.

Muffy Calder, Savi Maharaj, Carron Shankland

Real-time Traffic

FM 2001 | Formal Methods | Logic | LOTOS Processes | Symbolic Transition Systems |

claim paper

» Implementing a Modal Logic over Data and Processes using XTL

» Symbolic Bisimulation for Full LOTOS

» Executable structural operational semantics in Maude

» ClassicLike Analytic Tableaux for FiniteValued Logics

» A Logic Based Language for Parametric Inheritance

» Reflection principles in computational logic

» Abstract Semantics for a HigherOrder Functional Language with Logic Variables

» ECOsystem Embracing the Change in Placement

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	FM
Authors	Muffy Calder, Savi Maharaj, Carron Shankland

Comments (0)

Sciweavers

An Adequate Logic for Full LOTOS

FM 2001 | Formal Methods | Logic | LOTOS Processes | Symbolic Transition Systems |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers