The Proof of a Distributed System in GYPSY (1982)

by Donald I. Good
Venue:Institute for Computing Science, The University of Texas at Austin
Citations:5 - 3 self