Author

Profile picture
Richard Banach
Computer Science Dept., Manchester University
Manchester, United Kingdom
7 articles by this author
Sort by:
The ...
Research Article
The Verification Grand Challenge
Jim Woodcock, Richard Banach
10.3217/jucs-013-05-0661
 28-05-2007
 Unique: 656 | Total: 849  | Access Period:
 661-668
HTML
XML
PDF
Formal ...
Research Article
Formal MethodsGuest Editorial
Richard Banach
10.3217/jucs-013-05-0593
 28-05-2007
 Unique: 554 | Total: 672  | Access Period:
 593-601
HTML
XML
PDF
A ...
Research Article
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
Richard Banach, Farhad Arbab, George Papadopoulos, John R. W. Glauert
10.3217/jucs-009-01-0002
 28-01-2003
 Unique: 646 | Total: 802  | Access Period:
 2-33
HTML
XML
PDF
MONSTR ...
Research Article
MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property
Richard Banach
10.3217/jucs-003-12-1283
 28-12-1997
 Unique: 492 | Total: 626  | Access Period:
 1283-1336
HTML
XML
PDF
MONSTR ...
Research Article
MONSTR II - Suspending Semantics and Independence
Richard Banach
10.3217/jucs-003-07-0756
 28-07-1997
 Unique: 644 | Total: 790  | Access Period:
 756-802
HTML
XML
PDF
MONSTR ...
Research Article
MONSTR I - Fundamental Issues and the Design of MONSTR
Richard Banach
10.3217/jucs-002-04-0164
 28-04-1996
 Unique: 767 | Total: 951  | Access Period:
 164-216
HTML
XML
PDF
A ...
Research Article
A Translation of the Pi-Calculus Into MONSTR
Richard Banach, J. Balázs, George Papadopoulos
10.3217/jucs-001-06-0339
 28-06-1995
 Unique: 706 | Total: 929  | Access Period:
 339-398
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK