Conference Paper (published)

Symbolic Bisimulation for Full LOTOS

Details

Citation

Shankland C & Thomas M (1997) Symbolic Bisimulation for Full LOTOS. In: Johnson M (ed.) Algebraic Methodology and Software Technology: 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings. Lecture Notes in Computer Science, 1349. 6th International Conference, AMAST'97, Sydney, Australia, 13.12.1997-17.12.1997. Berlin Heidelberg: Springer, pp. 479-493. http://link.springer.com/chapter/10.1007/BFb0000491#; https://doi.org/10.1007/BFb0000491

Abstract
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined, following the approach taken for message passing CCS in [HL95a], altered to take account of the particular features of LOTOS (multi-way synchronisation, value negotiation, selection predicates). Symbolic bisimulation over symbolic transition systems is defined, and symbolic bisimulation on ground behaviour expressions is shown to preserve the usual concrete (strong) bisimulation on the standard semantics. Finally, a modal logic based on symbolic transition systems is defined. All are illustrated with reference to examples.

StatusPublished
Title of seriesLecture Notes in Computer Science
Number in series1349
Publication date31/12/1997
Publication date online31/12/1997
PublisherSpringer
Publisher URLhttp://link.springer.com/chapter/10.1007/BFb0000491#
Place of publicationBerlin Heidelberg
ISSN of series0302-9743
ISBN978-3-540-63888-9
Conference6th International Conference, AMAST'97
Conference locationSydney, Australia
Dates