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.

