Prodotti
Atti, Riassunti o Comunicazioni
Minimizing Transition Systems for Name-passing Calculi: A Co-algbraic Formulation
- autori
- G. Ferrari, U. Montanari, M. Pistore
- anno
- 2002
- tipo prodotto
- Articolo in atti di congresso
- lingua
- Inglese
- titolo serie
- Lectures Notes in Computer Science
- volume
- 2303
- numero pagine
- 15
- pagina iniziale
- 129
- pagina finale
- 143
- casa editrice
- Springer
- data
- 2002
- nome conferenza
- Foundations of Software Science and Computation Structures
- schede autori
- FERRARI GIAN-LUIGI