On the Complexity of Bisimilarity for Value-Passing Processes(Extended Abstract) / M. Boreale; L. Trevisan. - STAMPA. - (1995), pp. 294-308. [10.1007/3-540-60692-0_56]
On the Complexity of Bisimilarity for Value-Passing Processes(Extended Abstract)
BOREALE, MICHELE;
1995
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.