Publications
Taming Message-passing Communication in Compositional Reasoning about Confidentiality
| Author | Li, Ximeng; Mantel, Heiko; Tasch, Markus |
|---|---|
| Date | 2017 |
| Type | Conference Proceedings |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/97384 |
| Author | Li, Ximeng; Mantel, Heiko; Tasch, Markus |
|---|---|
| Date | 2017 |
| Type | Conference Proceedings |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/97384 |
