Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation / FERRARI G; MONTANARI U; PISTORE M. - STAMPA. - 2303(2002), pp. 129-143. ((Intervento presentato al convegno Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002 tenutosi a Grenoble (Francia).
Titolo: | Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation |
Autori interni: | |
Anno del prodotto: | 2002 |
Rivista: | |
Handle: | http://hdl.handle.net/11568/203187 |
ISBN: | 354043366X |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.