A type language for message passing component-based systems / Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - (2020). ( 13th Interaction and Concurrency Experience).
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
a_type_language_for_message_passing_component_based_systems.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
421.83 kB
Formato
Adobe PDF
|
421.83 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

