Extensional equivalences for transition systems

We illustrate LOTOS, a language for the formal specification of distributed, concurrent systems. A system is seen as a set of processes which interact with each other, exchange data, and offer potential interactions with the environment. LOTOS supports the modular description of the internaI, dynamically variable structure of a system, although the semantics of a specification onIy refers to the temporal behaviour of the specified system as observable from the external environment. LOTOS is expected to become an ISO International Standard by 1988.

Viene illustrato LOTOS, un linguaggio per la specifica formale di sistemi distribuiti e concorrenti. Un sistema viene visto come un insieme di processi che interagiscono fra loro, si scambiano dati ed offrono potenziali interazioni con l'ambiente. LOTOS permette la descrizione modulare della struttura interna, anche dinamicamente variabile, di un sistema, sebbene la semantica di una specifica si riferisca soltanto al comportamento temporale del sistema specificato cosi' come lo si puo' osservare dall'ambiente esterno. E' previsto che LOTOS diventi uno Standard Internazionale ISO per il 1988.