Istituto di Scienza e Tecnologie dell'Informazione     
Boreale M., Inverardi P., Nesi M. Complete sets of axioms for finite basic LOTOS behavioural equivalences. In: Information Processing Letters, vol. 43 (3) pp. 155 - 160. Elsevier, 1992.
LOTOS is a specification language which has been developed within the International Oroanization for Standardization (ISO) and standardized as a formalism for specifying concurrent systems, specially suited to run on Open System Interconnection (OSI) computer network architecture. Like all process algebras, LOTOS can be used to describe concurrent systems at different levels of abstraction. The semantics of LOTOS is defined in terms of labelled transition systems, according to the Structural Operational Semantics (SOS) approach. Transition systems are then factorized through the notions of observational equivalence and testing preorders, which permit proving that two different LOTOS specifications are equivalent when "uninteresting" details are ignored and that a low level specification is a satisfactory implementation of a more abstract one.
Subject Specification languages
Behavioural equivalences
Complete axiomatisations

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional