CaSPiS: a calculus of sessions, pipelines and services / Boreale, M., Bruni, R., De Nicola, R., Loreti, M.. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - 25:3(2015), pp. 666-709. [10.1017/S0960129512000953]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


