Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Fantechi A., Gnesi S., Inverardi P., Nesi M. Transformation rules. Internal note IEI-B4-26, 1991.
In the following a complete set of laws for observational congruence on finite basie LOTOS is listed. This set is not minimal but includes all the laws presented in [2] while for a minimal complete set we refer to [29]. The laws for each operator are grouped together.
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