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 specificatiAdd to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source WebsiteFile Size: 293,68 KBShare Document on Facebook |