Calder, M.

Shankland, C.

English

A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to data parameterised behaviours, and provides a finitely branching representation for behaviours. Symbolic bisimulation is defined and illustrated with reference to a telecomms example.The approach taken follows that applied to message passing CCS in [Hennessy and Lin 95], but differs in several significant aspects, taking account of the particular features of LOTOS: multi-way synchronisation, value negotiation, selection predicates

Calder, Muffy

Shankland, Carron

Stirling Online Research Repository (RIOXX)

A symbolic semantics and bisimulation for Full LOTOS

Stirling Online Research Repository

A symbolic semantics for Full LOTOS in terms of symbolic transition systems  is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to data parameterised behaviours, and provides a finitely branching representation for behaviours. Symbolic bisimulation is defined

Muffy Calder

Carron Shankland

CiteSeerX

A Symbolic Semantics and Bisimulation for Full LOTOS

Enlighten

A Modal Logic for Full LOTOS based on Symbolic Transition Systems. The Computer Journal,

A Symbolic Semantics and Bisimulation for Full LOTOS.

An Adequate Logic for Full LOTOS.

An Introduction to LOTOS: Learning by Examples.

Catalogue of LOTOSCorrectness Preserving Transformations.

From Data Structure to Process Structure.

Implementing a modal logic over data and processes using XTL. In this volume.

Implementing the modal logic FULL using Ergo. In

International Organisation for Standardisation. Information Processing Systems

Modelling and Analysing User Views of Telecommunications Services.

Simulation Techniques for the Validation of LOTOS Speciﬁcations.

Specifying Abstract Data Types with LOTOS.

Symbolic Bisimulation for Full LOTOS.

Symbolic Bisimulations.

The Story of the Therac-25 in LOTOS.

Using Rewriting Logic to implement the modal logic FULL.