Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Article | Conference or workshop item
Number of items: 5.
Article
| Bocchi, L. and Lange, Julien and Tuosto, E. (2012) Three algorithms and a methodology for amending contracts for choreographies. Scientific Annals of Computer Science, 22 (1). pp. 61-104. ISSN 1843-8121. (doi:https://doi.org/10.7561/SACS.2012.1.61) (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) |
Conference or workshop item
| Lange, Julien and Tuosto, E. and Yoshida, N. (2015) From Communicating Machines to Graphical Choreographies. In: ACM SIGPLAN NOTICES. POPL 2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM pp. 221-232. ISBN 978-1-4503-3300-9. (doi:https://doi.org/10.1145/2676726.2676964) (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) |
| Lange, Julien and Tuosto, E. (2012) Synthesising choreographies from local session types. In: Koutny, M. and Ulidowski, I., eds. Theoretical Computer Science and General Issues. CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings. Springer pp. 225-239. ISBN 978-3-642-32939-5. (doi:https://doi.org/10.1007/978-3-642-32940-1_17) (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) |
| Lange, Julien and Tuosto, E. (2011) A Modular Toolkit for Distributed Interactions. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2010). pp. 92-110. (doi:https://doi.org/10.4204/EPTCS.69.7) (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 Lange, Julien and Tuosto, E. (2011) Amending Contracts for Choreographies. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Fourth Interaction and Concurrency Experience. pp. 111-129. (doi:https://doi.org/10.4204/EPTCS.59.10) (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) |
