Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Conference or workshop item
Number of items: 3.
Conference or workshop item
| Bocchi, Laura and Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko (2013) Monitoring Networks through Multiparty Session Types. In: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE), June 3-6, 2013, Florence, Italy. (doi:https://doi.org/10.1007/978-3-642-38592-6_5) (Full text available) |
|
| Chen, Tzu-Chun and Bocchi, Laura and Deniélou, Pierre-Malo and Honda, Kohei and Yoshida, Nobuko (2012) Asynchronous Distributed Monitoring for Multiparty Session Enforcement. In: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Lecture Notes in Computer Science, 7173. Springer pp. 25-45. ISBN 978-3-642-30064-6. E-ISBN 978-3-642-30065-3. (doi:https://doi.org/10.1007/978-3-642-30065-3_2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bocchi, Laura and Honda, Kohei and Tuosto, Emilio and Yoshida, Nobuko (2010) A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: 21th International Conference on Concurrency Theory (CONCUR). 21th International Conference on Concurrency Theory (CONCUR). Lecture Notes in Computer Science, 6269. Springer pp. 162-176. (doi:https://doi.org/10.1007/978-3-642-15375-4_12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
