A Symbolic Semantics and Bisimulation for Full LOTOS

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. This extends our previous work [14], making the definitions more amenable to automated reasoning and processes with recursion.

• Type: Conference
• Year: 2001
• Where: FORTE
• Authors: Muffy Calder, Carron Shankland
• Keywords: Data Parameterised Behaviours, FORTE 2001, FORTE 2007, Symbolic Semantics, Symbolic Transition Systems