Ornela Dardha, Elena Giachino, Davide Sangiorgi (2012). Session types revisited. ACM [10.1145/2370776.2370794].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.