Graphical Composition Theorems for Parallel and Hiding Operators

Contributo in Atti di convegno

Data di Pubblicazione:

1991

Abstract:

An abstract is not available

Tipologia CRIS:

04.01 Contributo in Atti di convegno

Keywords:

Parallel operators; Hiding Operators

Elenco autori:

Bolognesi, Tommaso

Link alla scheda completa:

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

Titolo del libro:

Formal Description Techniques, III: Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990.