John Hatcliff,Elena Zucca

• Formal Techniques for Distributed Systems