Browse by Publisher

Group by: Item Type | Date | No Grouping

Number of items: 7.

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)

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)

Perera, R., Lange, Julien, Gay, S. (2016) Multiparty compatibility for concurrent objects. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Electronic Proceedings in Theoretical Computer Science, EPTCS. 211. pp. 73-82. Open Publishing Association (doi: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) (KAR id:62254)

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)

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)

Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2013) Proceedings of the 16th International BCS-FASCS Refinement Workshop, Turku. Proceedings 16th International Refinement Workshop, . ISSN 2075-2180. (doi:10.4204/EPTCS.115) (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:52724)

Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2011) Proceedings 15th International Refinement Workshop. Proceedings 15th International Refinement Workshop, 55 . pp. 182-196. ISSN 2075-2180. (doi:10.4204/EPTCS.55) (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:30758)

This list was generated on Wed Apr 24 01:50:15 2024 BST.