Analysis and Verification of Multiple-Agent Languages (LOMAPS)
Testing Semantics of Asynchronous Distributed Programs / De Nicola, Rocco; Pugliese, Rosario. - STAMPA. - (1996), pp. 320-344. [10.1007/3-540-62503-8_15]
Testing Semantics of Asynchronous Distributed Programs
PUGLIESE, ROSARIO
1996
Abstract
Analysis and Verification of Multiple-Agent Languages (LOMAPS)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.