Globally Governed Session Semantics Dimitrios Kouzapas and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new bisimulation theory based on multiparty session types where a choreography specificati

First Page		Document Content
Date: 2013-04-16 10:29:34		Globally Governed Session Semantics Dimitrios Kouzapas and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new bisimulation theory based on multiparty session types where a choreography specificati Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 293,68 KB Share Document on Facebook