Search for persons
X
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
3
A Monitoring Tool for Linear-Time $$\mu $$HML:
, In:
?
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang ,
5
Graft: general purpose raft consensus in Elixir:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
6
Better Late Than Never or: Verifying Asynchronous Component..:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
7