Distributed algorithm simulation using input/output automata

Kenneth J. Goldman. Distributed algorithm simulation using input/output automata. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1990. [doi]

Abstract

Abstract is missing.