Search - IFIP Open Digital Library Access content directly

Filter your results

6 results
Author: personID (integer) : 978918
Page :
sorted by
Image document

Coordination Models and Languages

 Ferruccio Damiani , Ornela Dardha
Springer International Publishing, LNCS-12717, 2021, Lecture Notes in Computer Science, 978-3-030-78141-5. ⟨10.1007/978-3-030-78142-2⟩
Books hal-03387825v1
Image document

SFJ: An Implementation of Semantic Featherweight Java

 Artem Usov , Ornela Dardha
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.153-168, ⟨10.1007/978-3-030-50029-0_10⟩
Conference papers hal-03274001v1
Image document

$$\pi $$π with Leftovers: A Mechanisation in Agda

 Uma Zalakain , Ornela Dardha
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.157-174, ⟨10.1007/978-3-030-78089-0_9⟩
Conference papers hal-03740255v1
Image document

Prioritise the Best Variation

 Wen Kokke , Ornela Dardha
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.100-119, ⟨10.1007/978-3-030-78089-0_6⟩
Conference papers hal-03740257v1
Image document

Progress as Compositional Lock-Freedom

 Marco Carbone , Ornela Dardha , Fabrizio Montesi
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.49-64, ⟨10.1007/978-3-662-43376-8_4⟩
Conference papers hal-01290067v1
Image document

Typechecking Java Protocols with [St]Mungo

 A. Laura Voinea , Ornela Dardha , Simon J. Gay
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.208-224, ⟨10.1007/978-3-030-50086-3_12⟩
Conference papers hal-03283241v1
Page :