Search results for: Nancy Lynch
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Synthesizing Agents Initially > 48-62
Distributed Computing > 2017 > 30 > 3 > 169-191
Distributed Computing > 2017 > 30 > 1 > 49-73
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > 394-408
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 5. Verification > 211-226
Lecture Notes in Computer Science > Principles of Distributed Systems > Session 3: Self-stabilizing Systems > 130-145
Lecture Notes in Computer Science > ICDT '88 > 41-71
Lecture Notes in Computer Science > Hybrid Systems III > 101-113
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Short Papers > 718-722