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]
@article{BanachAPG03, title = {A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model}, author = {Richard Banach and Farhad Arbab and George A. Papadopoulos and John R. W. Glauert}, year = {2003}, url = {http://www.jucs.org/jucs_9_1/a_multiply_hierarchical_automaton}, tags = {semantics}, researchr = {https://researchr.org/publication/BanachAPG03}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {9}, number = {1}, pages = {2-33}, }