Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

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.
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)