Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Lucidi F. LOTOS-like Process Algebras with Urgent or Timed Interactions. In: Formal Description Techniques IV, IFIP Transactions C-2, Proceedings of the IFIP WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols - FORTE'91, pp. 249-263. K. R. Parker, G. A. Rose (eds.). North-Holland, 1992. 1992.
No abstract available

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