Publications

Towards Static Deadlock Resolution in the Π-Calculus

AuthID
P-009-HKK

Author(s)

Giunti, M

Ravara, A

Document Type

Proceedings Paper

Year published

2014

Published

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

Volume: 8358 LNCS, Pages: 136-155

Conference

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

Indexing