The paper "Taming Message-passing Communication in Compositional Reasoning about Confidentiality" by Ximeng Li, Heiko Mantel, and Markus Tasch has been accepted for publication at APLAS 2017 (the Asian Symposium on Programming Languages and Systems).
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang