EXPRESSing Session Types / Castellani I.; Dardha O.; Padovani L.; Sangiorgi D.. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - ELETTRONICO. - 387:(2023), pp. 8-25. (Intervento presentato al convegno Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS) 2023 tenutosi a Antwerp, Belgium nel 18 September 2023) [10.4204/EPTCS.387.2].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
paper.cgi.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione - Non commerciale - Non opere derivate (CCBYNCND)
Dimensione
214.57 kB
Formato
Adobe PDF
|
214.57 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.