LOTOS-like Process Algebras with Urgent or Timed Interactions

Contributo in Atti di convegno

Data di Pubblicazione:

1992

Abstract:

An abstract is not available

Tipologia CRIS:

04.01 Contributo in Atti di convegno

Keywords:

LOTOS

Elenco autori:

Bolognesi, Tommaso

Link alla scheda completa:

https://iris.cnr.it/handle/20.500.14243/399074

Titolo del libro:

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.