Publicações

Towards Static Deadlock Resolution in the Π-Calculus

AuthID
P-009-HKK

Author(s)

Giunti, M

Ravara, A

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8358 LNCS, Páginas: 136-155

Conference

8Th International Symposium on Trustworthy Global Computing, Tgc 2013, Date: 30 August 2013 through 31 August 2013, Location: Buenos Aires, Patrocinadores: Microsoft Research

Indexing