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.

Complete sets of axioms for finite basic LOTOS behavioural equivalences

1992

Abstract

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.
1992
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Specification languages
Concurrency
Behavioural equivalences
Complete axiomatisations
LOTOS
File in questo prodotto:
File Dimensione Formato  
prod_452952-doc_171035.pdf

solo utenti autorizzati

Descrizione: Complete sets of axioms for finite basic LOTOS behavioural equivalences
Tipologia: Versione Editoriale (PDF)
Dimensione 1.59 MB
Formato Adobe PDF
1.59 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/396235
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact