Kenneth J. Goldman. Distributed algorithm simulation using input/output automata. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1990. [doi]
No references recorded for this publication.
No citations of this publication recorded.