Trace and Testing Equivalence on Asynchronous Processes
Trace and Testing Equivalence on Asynchronous Processes / M. BOREALE; R.DE NICOLA; R.PUGLIESE. - In: INFORMATION AND COMPUTATION. - ISSN 0890-5401. - STAMPA. - 172(2):(2002), pp. 139-164. [10.1006/inco.2001.3080]
Trace and Testing Equivalence on Asynchronous Processes
BOREALE, MICHELE;PUGLIESE, ROSARIO
2002
Abstract
Trace and Testing Equivalence on Asynchronous Processes
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
02IC-Trace and Testing Equivalence on Asynchronous Processes.pdf
Accesso chiuso
Tipologia:
Altro
Licenza:
Tutti i diritti riservati
Dimensione
205.43 kB
Formato
Adobe PDF
|
205.43 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
