PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. A graphical composition theorem for LOTOS. Internal note CNUCE-B4-89-031, 1989.
 
 
Abstract
(English)
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