PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Ristori G. A model checking algorithm for pi-calculus agents. In: ITCL'97 - International Conference on Temporal Logic (1997). Proceedings, pp. 1 - 18. Kluwer, 1997.
 
 
Abstract
(English)
No abstract available.
Subject Pi-calculus


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