Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2023 | 2018 | 2016 | 2015 | 2013 | 2011 | 2010

Number of items: 11.

2023

Orchard, Dominic A., Munteanu, Mihail, Torrens, Paulo (2023) Communicating actor automata - modelling erlang processes as communicating machines. In: Castellani, Illaria and Scalas, Alceste, eds. Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2023). Open Publishing Association (doi:10.4204/eptcs.378.4) (KAR id:101035)

2018

Murgia, Maurizio (2018) On Urgency in Asynchronous Timed Session Types. In: Proceedings 11th Interaction and Concurrency Experience. Open Publishing Association (doi:10.4204/EPTCS.279.9) (KAR id:69683)

2016

Boiten, Eerke Albert (2016) Big Data Refinement. Electronic Proceedings in Theoretical Computer Science, 209 . pp. 17-23. ISSN 2075-2180. E-ISSN 2075-2180. (doi:10.4204/EPTCS.209.2) (KAR id:51635)

Thompson, Simon, Horpacsi, Daniel, Koszegi, Judit (2016) Towards Trustworthy Refactoring in Erlang. In: Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P., eds. Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016). (doi:10.4204/EPTCS.216.5) (KAR id:56750)

Orchard, Dominic, Yoshida, Nobuko (2016) Using session types as an effect system. Electronic Proceedings in Theoretical Computer Science, 203 . pp. 1-13. ISSN 2075-2180. (doi:10.4204/EPTCS.203.1) (KAR id:61624)

2015

Rowe, Reuben (2015) Encoding the Factorisation Calculus. In: Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics. (doi:10.4204/EPTCS.190.6) (KAR id:64718)

2013

Lange, Julien, Scalas, Alceste (2013) Choreography Synthesis as Contract Agreement. Electronic Proceedings in Theoretical Computer Science, 131 . pp. 52-67. ISSN 2075-2180. (doi: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) (KAR id:62257)

Bocchi, Laura, Demangeon, Romain (2013) Embedding Session Types in HML. In: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 23rd March, 2013, Rome, Italy. (doi:10.4204/EPTCS.137.5) (KAR id:43739)

2011

Bocchi, Laura, Lange, Julien, Tuosto, E. (2011) Amending Contracts for Choreographies. In: Proceedings Fourth Interaction and Concurrency Experience. (doi: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) (KAR id:62260)

Lange, Julien, Tuosto, E. (2011) A Modular Toolkit for Distributed Interactions. In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2010). (doi: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) (KAR id:62261)

2010

Bocchi, Laura, Fiadeiro, José, Rajper, Noor, Reiff-Marganiec, Stephan (2010) Structure and Behaviour of Virtual Organisation Breeding Environments. In: 2nd Workshop on Formal Aspects of Virtual Organisations (FAVO). (doi:10.4204/EPTCS.16.3) (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) (KAR id:59191)

This list was generated on Tue Apr 21 23:45:45 2026 BST.