Canonical finite state machines for distributed systems

Robert M. Hierons. Canonical finite state machines for distributed systems. Theoretical Computer Science, 411(2):566-580, 2010. [doi]

Abstract

Abstract is missing.