A Choreography-Driven Approach to APIs: The OpenDXL Case Study

von Frittelli, Leonardo
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)

Towards a Truly Concurrent Semantics for Reversible CCS

von Melgratti, Hernan
Veröffentlicht in RC (13. : 2021 : Online) Reversible Computation (2021)

Implementation Correctness for Replicated Data Types, Categorically

von Gadducci, Fabio
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

CONCUR 2013 - concurrency theory : 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27 - 30, 2013 ; proceedings

Veröffentlicht 2013

Reversible Occurrence Nets and Causal Reversible Prime Event Structures

von Melgratti, Hernán
Veröffentlicht in RC (12. : 2020 : Online) Reversible computation (2020)