A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model

Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert. A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. J. UCS, 9(1):2-33, 2003. [doi]

Abstract

Abstract is missing.