Author

Profile picture
Richard Banach
Computer Science Dept., Manchester University
Manchester, United Kingdom
7 articles by this author
Sort by:
Research Article
The Verification Grand Challenge
Jim Woodcock, Richard Banach
10.3217/jucs-013-05-0661
 28-05-2007
 Unique: 552 | Total: 703  | Access Period:
 661-668
HTML
XML
PDF
Research Article
Formal MethodsGuest Editorial
Richard Banach
10.3217/jucs-013-05-0593
 28-05-2007
 Unique: 483 | Total: 563  | Access Period:
 593-601
HTML
XML
PDF
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: 565 | Total: 681  | Access Period:
 2-33
HTML
XML
PDF
Research Article
MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property
Richard Banach
10.3217/jucs-003-12-1283
 28-12-1997
 Unique: 405 | Total: 508  | Access Period:
 1283-1336
HTML
XML
PDF
Research Article
MONSTR II - Suspending Semantics and Independence
Richard Banach
10.3217/jucs-003-07-0756
 28-07-1997
 Unique: 546 | Total: 651  | Access Period:
 756-802
HTML
XML
PDF
Research Article
MONSTR I - Fundamental Issues and the Design of MONSTR
Richard Banach
10.3217/jucs-002-04-0164
 28-04-1996
 Unique: 646 | Total: 768  | Access Period:
 164-216
HTML
XML
PDF
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: 600 | Total: 776  | Access Period:
 339-398
HTML
XML
PDF

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

OK