Specifications and Proofs for Ensemble Layers

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49059-0_9 ◽

1999 ◽

pp. 119-134 ◽

Author(s):

Jason Hickey ◽

Nancy Lynch ◽

Robbert van Renesse

Download Full-text