R. Banach, F. Arbab, G. A. Papadopoulos, J. R. W. Glauert:
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
/jucs_9_1/a_multiply_hierarchical_automaton

page 2 - 33
Vol.9 / Issue 1

F. Arbab, M. Sirjani:
Applications of Formal Methods to System Design and Verification
/jucs_13_13/applications_of_formal_methods

page 1970 - 1971
Vol.13 / Issue 13

F. Arbab, J.N. Kok:
Compositional Construction and Reasoning Techniques for Software
/jucs_11_10/compositional_construction_and_reasoning

page 1577 - 1579
Vol.11 / Issue 10