MarCaSPiS: a Markovian Extension of a Calculus for Services / R. De Nicola; D. Latella; M. Loreti; M. Massink. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 229:(2009), pp. 11-26. [10.1016/j.entcs.2009.07.071]
MarCaSPiS: a Markovian Extension of a Calculus for Services
DE NICOLA, ROCCO;LORETI, MICHELE;MASSINK, MIEKE
2009
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.