Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. A graphical composition theorem for LOTOS. Internal note CNUCE-B4-89-031, 1989.
The graphical representation of the parallel composition of several LOTOS processes as a network of interconnected boxes is ambiguous, due to the nature of the LOTOS binary parallel operator. The method can be used for transforming the structure of parallel LOTOS expressions, and is a generalization of previously know algebraic transformation laws.
Subject 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