A symbolic semantics and bisimulation for Full LOTOS (2001)

by Muffy Calder , Carron Shankland
Venue:PROC. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS (FORTE XIV
Citations:32 - 6 self

Documents Related by Co-Citation

16 An adequate logic for Full LOTOS – Muffy Calder, Savi Maharaj, Carron Shankland - 2001
154 Symbolic bisimulations – M Hennessy, H Lin - 1995
19 A Modal Logic for Full LOTOS based on Symbolic Transition Systems – Muffy Calder, Savi Maharaj, Carron Shankland - 2002
13 Maude as a Metalanguage – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 1998
16 Implementing CCS in Maude – Alberto Verdejo, Narciso Martí-oliet - 2000
25 Towards Maude 2.0 – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2000
16 Protocol-inspired hardware testing – Protocol-inspired Hardware, Testing In Gyula, Sarolta Dibuz, Katalin Tarnay, Proc Testing, Ji He, Ji He, Kenneth J. Turner, Kenneth J. Turner - 1999
32 Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications – M Clavel - 2000
493 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
22 The Story of the Therac-25 – M Thomas - 1994
15 Cadp (Cæsar/Aldébaran development package): A protocol validation and verification toolbox – J-C Fernandez, H Garavel, A Kerbrat, R Mateescu, L Mounier, M Sighireanu - 1996
73 Information Processing Systems - Open Systems Interconnection -- Basic Reference Model – ISOIEC - 1984
3204 Communication and Concurrency – R Milner - 1989
12 Temporal Logics for CCS – C Stirling - 1989
2408 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
473 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
5 Implementing A Modal Logic Over Data And Processes Using XTL – Jeremy Bryans, Carron Shankland
24 Feature Description and Feature Interaction Analysis with Use Case Maps and Lotos – D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, T. Ware - 2000
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993