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

R. Banach, J. Balázs, G. A. Papadopoulos:
A Translation of the Pi-Calculus Into MONSTR
/jucs_1_6/a_translation_of_the

page 339 - 398
Vol.1 / Issue 6

R. Banach:
Formal Methods
Guest Editorial
/jucs_13_5/formal_methods

page 593 - 601
Vol.13 / Issue 5

R. Banach:
MONSTR I - Fundamental Issues and the Design of MONSTR
/jucs_2_4/monstr_i_fundamental_issues

page 164 - 216
Vol.2 / Issue 4

R. Banach:
MONSTR II - Suspending Semantics and Independence
/jucs_3_7/monstr_ii_suspending_semantics

page 756 - 802
Vol.3 / Issue 7

R. Banach:
MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property
/jucs_3_12/monstr_v_transitive_coercing

page 1283 - 1336
Vol.3 / Issue 12

J. Woodcock, R. Banach:
The Verification Grand Challenge
/jucs_13_5/the_verification_grand_challenge

page 661 - 668
Vol.13 / Issue 5