Autori: Di Gianantonio Pietro
| Naslov | Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus (Proceedings Paper) |
| Autori | Di Gianantonio Pietro Jaksic Svetlana Lenisa Marina |
| Info | CONCUR 2010 - CONCURRENCY THEORY, (2010), vol. 6269 br. , str. 358-+ |
| Projekat | PRIN Project SISTER [20088HXMYN]; FIRB [RBIN04M8S8]; MIURMinistero dell' Istruzione, dell' Universita e della Ricerca (MIUR) |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
     |
