Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 2.
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) |