Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Book section | Conference or workshop item

Number of items: 18.

Article

Bartoletti, M. and Lange, Julien and Scalas, A. and Zunino, R. (2014) Choreographies in the wild. Science of Computer Programming, 109 . pp. 36-60. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2014.11.015) (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, 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)

Bocchi, Laura and Lange, Julien and Tuosto, Emilio (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)

Book section

Lange, Julien and Tuosto, Emilio and Yoshida, Nobuko (2017) A Tool for Choreography-Based Analysis of Message-Passing Software. In: Behavioural Types: from Theory to Tools. River Publishers. ISBN 978-87-93519-82-4. (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

Dilley, Nicolas and Lange, Julien (2019) An Empirical Study of Messaging Passing Concurrency in Go Projects. In: Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. IEEE ISBN 978-1-72810-591-8. (doi:https://doi.org/10.1109/SANER.2019.8668036) (Full text available)

Preview

Lange, Julien and Ng, Nicholas and Toninho, Bernardo and Yoshida, Nobuko (2018) A Static Verification Framework for Message Passing in Go using Behavioural Types. In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training. ACM pp. 1137-1148. ISBN 978-1-4503-5660-2. (doi:https://doi.org/10.1145/3180155.3180157) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Preview

Lange, Julien and Yoshida, N. (2017) On the undecidability of asynchronous session subtyping. In: Esparza, J. and Murawski, A., eds. Lecture Notes in Computer Science. Foundations of Software Science and Computation Structures. FoSSaCS 2017. Springer pp. 441-457. ISBN 978-3-662-54457-0. (doi:https://doi.org/10.1007/978-3-662-54458-7_26) (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 Ng, Nicholas and Toninho, Bernardo and Yoshida, Nobuko (2017) Fencing off go: liveness and safety for channel-based programming. In: Castagna, Giuseppe and Gordon, Andrew D., eds. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM pp. 748-761. ISBN 978-1-4503-4660-3. (doi:https://doi.org/10.1145/3009837.3009847) (Full text available)

Preview

Lange, Julien and Yoshida, Nobuko (2016) Characteristic formulae for session types. In: Chechik, M. and Raskin, J.F., eds. Lecture Notes in Computer Science. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Springer pp. 833-850. ISBN 978-3-662-49673-2. (doi:https://doi.org/10.1007/978-3-662-49674-9_52) (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)

Perera, R. and Lange, Julien and Gay, S. (2016) Multiparty compatibility for concurrent objects. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Electronic Proceedings in Theoretical Computer Science, EPTCS. Open Publishing Association pp. 73-82. (doi:https://doi.org/10.4204/EPTCS.211.8) (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, L. and Lange, Julien and Yoshida, N. (2015) Meeting deadlines together. In: Aceto, Luca and de Frutos Escrig, David, eds. Leibniz International Proceedings in Informatics, LIPIcs. 26th International Conference on Concurrency Theory (CONCUR 2015). Schloss Dagstuhl - Leibniz-Zentrum für Informatik pp. 283-296. ISBN 978-3-939897-91-0. (doi:https://doi.org/10.4230/LIPIcs.CONCUR.2015.283) (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. 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)

Bocchi, Laura and Yoshida, Nobuko and Lange, Julien (2015) Meeting Deadlines Together. In: Aceto, Luca and de Frutos-Escrig, David, eds. International Conference on Concurrency Theory (CONCUR). LIPIcs, 42. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik pp. 283-296. ISBN 978-3-939897-91-0. (doi:https://doi.org/10.4230/LIPIcs.CONCUR.2015.283) (Full text available)

Preview

Lange, Julien and Scalas, A. (2013) Choreography Synthesis as Contract Agreement. In: Electronic Proceedings in Theoretical Computer Science. Proceedings ICE 2013. pp. 52-67. ISBN 20752180. (doi:https://doi.org/10.4204/EPTCS.131.6) (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)

Blommestijn, R. and Lange, Julien and Taylor, C. and Winton, A. (2009) Proximity-1: Simulating the CCSDS Proximity-1 Protocol for ExoMars. In: Ouwehand, L., ed. DAta Systems In Aerospace (DASIA). Proceedings of DASIA 2009 Data Systems in Aerospace. ESA Special Publication. ISBN 978-92-9221-233-9. (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)

This list was generated on Sun Apr 7 17:51:41 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0