Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 1010366
Page :
sorted by
Image document

Trace Semantics via Determinization

 Bart Jacobs , Alexandra Silva , Ana Sokolova
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.109-129, ⟨10.1007/978-3-642-32784-1_7⟩
Conference papers hal-01539887v1
Image document

Formal Techniques for Distributed Objects, Components, and Systems

 Alexey Gotsman , Ana Sokolova
Springer International Publishing, LNCS-12136, 2020, Lecture Notes in Computer Science, 978-3-030-50085-6. ⟨10.1007/978-3-030-50086-3⟩
Books hal-03283230v1
Page :