Skip to main content

Browse by Publisher

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 7.

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)
[img]
Preview

Boiten, Eerke Albert and Derrick, John and Reeves, Steve, eds. (2016) Proceedings 17th International BCS-FACS Refinement Workshop. Proceedings 17th International Workshop on Refinement, . ISSN 2075-2180. (Submitted) (doi:10.4204/EPTCS.209) (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., 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)

Orchard, Dominic, Yoshida, Nobuko (2016) Using session types as an effect system. In: Gay, Simon and Alglave, Jade, eds. Electronic Proceedings in Theoretical Computer Science. Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. 203. pp. 1-13. Open Publishing Association (doi:10.4204/EPTCS.203.1)
[img]
Preview

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)

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)

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)

This list was generated on Thu Apr 2 01:47:01 2020 BST.