PUMA
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.
 
 
Abstract
(English)
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
Concurrency
Behavioural equivalences
Complete axiomatisations
LOTOS


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