Publikationen
Taming Message-passing Communication in Compositional Reasoning about Confidentiality
Autor | Li, Ximeng; Mantel, Heiko; Tasch, Markus |
---|---|
Datum | 2017 |
Art | Conference Proceedings |
Konferenz | Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS) |
Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/103742 |