A symbolic semantics and bisimulation for Full LOTOS (2001)

by Muffy Calder , Carron Shankland
Citations:32 - 6 self

Active Bibliography

DIET: Developing Implementation and Extending Theory – Symbolic Approach To
Expressing Iterative Properties Logically in a Symbolic Setting – C. Shankland, J. Bryans, L. Morel
9 Symbolic Bisimulation for Full LOTOS – Carron Shankland, Muffy Thomas, Ed Brinksma
16 An adequate logic for Full LOTOS – Muffy Calder, Savi Maharaj, Carron Shankland - 2001
2 Verification of LOTOS Specifications using Term Rewriting Techniques – Carron Elizabeth Kirkwood - 1994
5 Implementing A Modal Logic Over Data And Processes Using XTL – Jeremy Bryans, Carron Shankland
13 Executable Structural Operational Semantics in Maude – Alberto Verdejo, Narciso Martí-oliet - 2003
2 Towards a Symbolic Modal Logic for LOTOS – C. Kirkwood, M. Thomas, Carron Kirkwood - 1997
Using Rewriting Logic to implement – Full Extend Ed, J. Bryans, A. Verdejo, C. Shankland
1 A PVS Theory of Symbolic Transition Systems – Savi Maharaj, Stirling Fk La - 2001
7 Functionality decomposition by compositional correctness preserving transformation – Rom Langerak
8 Building tools for LOTOS Symbolic Semantics in Maude – Alberto Verdejo - 2002
2 Experiences with Specification and Verification in LOTOS: A Report on Two Case Studies – Carron Kirkwood, Muffy Thomas
2 Experiences with speci cation and veri - cation in LOTOS: a report on two case studies – Carron Kirkwood, Mu Y Thomas - 1995
2 Modeling and Derivation of Scenarios for a Mobile Telephony System in LOTOS – Randall Tuok - 1996
19 A Modal Logic for Full LOTOS based on Symbolic Transition Systems – Muffy Calder, Savi Maharaj, Carron Shankland - 2002
2 Control and Datatypes using the View Formalism – Christine Choppy, Pascal Poizat, Jean-Claude Royer - 2000
1 A PVS Experiment with Asynchronous Communicating Components – Jacques Noye, Sebastian Pavel, Jean-Claude Royer, Jacques Noyé Sebastian Pavel - 2004
17 A Global Semantics for Views – Christine Choppy, Pascal Poizat, Jean-Claude Royer - 2000