Graphical Composition Theorems for Parallel and Hiding Operators

Conference Paper

Publication Date:

1991

abstract:

An abstract is not available

Iris type:

04.01 Contributo in Atti di convegno

Keywords:

Parallel operators; Hiding Operators

List of contributors:

Bolognesi, Tommaso

Handle:

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

Book title:

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.