PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Inverardi P., Nesi M. Algebraic transformations-verification of basic lotos processes. Internal note IEI-B4-34, 1990.
 
 
Abstract
(English)
This section presents the approach to a verification environment which supports correctness preserving transformations on terms of the Basic LOTOS process algebra based on observational equivalence.
Subject


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