Search
Now showing items 1-1 of 1
A simulator for the IOA language
(Massachusetts Institute of Technology, 1998)
With current advances in networking, distributed computing is becoming more commonplace. Distributed systems are hard to design and reason about, because distributed actions can exhibit arbitrary interleaving. In order to ...