Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
hal_authIdPerson_i : 1058370
Page :
sorted by
Image document

Reversing P/T Nets

 Hernán Melgratti , Claudio Antares Mezzina , Irek Ulidowski
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.19-36, ⟨10.1007/978-3-030-22397-7_2⟩
Conference papers hal-02365503v1
Image document

Towards Bridging Time and Causal Reversibility

 Marco Bernardo , Claudio Antares Mezzina
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.22-38, ⟨10.1007/978-3-030-50086-3_2⟩
Conference papers hal-03283233v1
Page :