IOA: A Language for Specifying, Programming, and Validating Distributed Systems (2001)

by Stephen J. Garland , Nancy A. Lynch , Mandana Vaziri
Citations:38 - 13 self