Timed Multiparty Session Types? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London, London, UK Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real

First Page		Document Content
Date: 2016-02-15 15:33:44		Timed Multiparty Session Types? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London, London, UK Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real Add to Reading List Source URL: mrg.doc.ic.ac.uk Download Document from Source Website File Size: 322,18 KB Share Document on Facebook