Login

Publication

Detail

Publication date: 22/07/2016

Composing Interfering Abstract Protocols

Authors

Filipe Militão, Jonathan Aldrich, Luis Caires, Shriram Krishnamurthi, Benjamin S. Lerner,
URL https://doi.org/10.4230/LIPIcs.ECOOP.2016.16
Publisher Schloss Dagstuhl
Series LIPIcs
Volume 56
URL https://doi.org/10.4230/LIPIcs.ECOOP.2016.16
Publisher Schloss Dagstuhl
Series LIPIcs
Volume 56