Author

Profile picture
Richard Banach
Computer Science Dept., Manchester University
Manchester, United Kingdom
7 articles by this author
Sort by:
The Verification Grand Challenge
Research Article
The Verification Grand Challenge
Jim Woodcock, Richard Banach
10.3217/jucs-013-05-0661
 28-05-2007
 Unique: 935 | Total: 1225
 661-668
HTML
XML
PDF
Formal MethodsGuest Editorial
Research Article
Formal MethodsGuest Editorial
Richard Banach
10.3217/jucs-013-05-0593
 28-05-2007
 Unique: 804 | Total: 997
 593-601
HTML
XML
PDF
A Multiply Hierarchical Automaton Semantics ...
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: 898 | Total: 1122
 2-33
HTML
XML
PDF
MONSTR V - Transitive Coercing Semantics ...
Research Article
MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property
Richard Banach
10.3217/jucs-003-12-1283
 28-12-1997
 Unique: 678 | Total: 877
 1283-1336
HTML
XML
PDF
MONSTR II - Suspending Semantics and ...
Research Article
MONSTR II - Suspending Semantics and Independence
Richard Banach
10.3217/jucs-003-07-0756
 28-07-1997
 Unique: 871 | Total: 1102
 756-802
HTML
XML
PDF
MONSTR I - Fundamental Issues and the ...
Research Article
MONSTR I - Fundamental Issues and the Design of MONSTR
Richard Banach
10.3217/jucs-002-04-0164
 28-04-1996
 Unique: 1164 | Total: 1427
 164-216
HTML
XML
PDF
A Translation of the Pi-Calculus Into ...
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: 1001 | Total: 1298
 339-398
HTML
XML
PDF

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

OK