Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Richard Banach
University of Manchester, Great Britain

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