Symbolic Bisimulation for Full LOTOS - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Carron Shankland, Muffy Thomas. Symbolic Bisimulation for Full LOTOS. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings. Volume 1349 of Lecture Notes in Computer Science, pages 479-493, Springer, 1997.

The following publications are possibly variants of this publication:

A Symbolic Semantics and Bisimulation for Full LOTOSMuffy Calder, Carron Shankland. forte 2001: 185-200

A Modal Logic for Full LOTOS based on Symbolic Transition SystemsMuffy Calder, Savi Maharaj, Carron Shankland. cj, 45(1):55-61, 2002. [doi]

An Adequate Logic for Full LOTOSMuffy Calder, Savi Maharaj, Carron Shankland. FM 2001: 384-395 [doi]

runs on WebDSL