Formal models of communicating systems : languages, automata, and monadic second-order logic - Bollig, Benedikt (New York : Springer, 2006)
References : p. [165]-171
Keywords: Electronic data processing -- Distributed processing; Multitasking (Computer science)