Search for persons
X
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
2
Towards an Automatic Proof of the Bakery Algorithm:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
4
Extending PlusCal for Modeling Distributed Algorithms:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
7
Specification and Verification with the TLA+ Trifecta: TLC,..:
, In:
?
Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems ,
12