Automata, Languages and Programming, 24th International Colloquium (ICALP'97)
Basic Observables for Processes / M. BOREALE; R. DE NICOLA; R. PUGLIESE. - STAMPA. - (1997), pp. 482-492. [10.1007/3-540-63165-8_204]
Basic Observables for Processes
BOREALE, MICHELE;PUGLIESE, ROSARIO
1997
Abstract
Automata, Languages and Programming, 24th International Colloquium (ICALP'97)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.