Static Analysis Techniques for Session-Oriented Calculi
Static Analysis Techniques for Session-Oriented Calculi / L.Acciai; C.Bodei; M.Boreale; R.Bruni; H.Vieira. - STAMPA. - (2011), pp. 214-231. [10.1007/978-3-642-20401-2_10]
Static Analysis Techniques for Session-Oriented Calculi
ACCIAI, LUCIA;BOREALE, MICHELE;
2011
Abstract
Static Analysis Techniques for Session-Oriented CalculiFile 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.