Browse by Journal
Number of items: 11.
B
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) |
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) |
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) |
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) |
L
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) |
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) |
M
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) |
O
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) |
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) |
R
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) |
T
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) |