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. Electronic Proceedings in Theoretical Computer Science. Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2023). 378. pp. 38-48. Open Publishing Association (doi:10.4204/eptcs.378.4) (KAR id:101035)

2018

Murgia, Maurizio (2018) On Urgency in Asynchronous Timed Session Types. In: Electronic Proceedings in Theoretical Computer Science. Proceedings 11th Interaction and Concurrency Experience. 279. pp. 85-94. 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. Electronic Proceedings in Theoretical Computer Science. Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016). 216. pp. 83-103. (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: Electronic Proceedings in Theoretical Computer Science. Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics. 190. pp. 76-90. (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: Electronic Proceedings in Theoretical Computer Science. 137 (1). pp. 53-62. (doi:10.4204/EPTCS.137.5) (KAR id:43739)

2011

Bocchi, Laura, Lange, Julien, Tuosto, E. (2011) Amending Contracts for Choreographies. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Fourth Interaction and Concurrency Experience. 59. pp. 111-129. (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: Electronic Proceedings in Theoretical Computer Science. Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2010). 69. pp. 92-110. (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: Electronic Proceedings in Theoretical Computer Science. 16. pp. 26-40. (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 Mon May 6 22:05:32 2024 BST.