Searching for authors named "Richard Banach" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Structuring Retrenchments in the small with B
- …Structuring Retrenchments in the small with B Michael Poppleton 1 and Richard Banach 2 1…
- Add To MetaCart
-
The Verification Grand Challenge
- … YO10 5DD, UK jim@(email omitted);) Richard Banach (School of Computer Science, University of Manchester…
- Cited by 1 (1 self) – Add To MetaCart
-
Reconciling Retrenchments and Refinements II
- …Reconciling Retrenchments and Refinements II Czeslaw Jeske, Richard Banach Computer Science Dept…
- Add To MetaCart
-
Controlling Control Systems: An Application of Evolving Retrenchment
- … and Richard Banach 2 1 Department of Computing, Open University, Walton Hall, Milton Keynes MK7 6AA, UK, m…
- Cited by 13 (11 self) – Add To MetaCart
-
Structuring Retrenchments in B by Decomposition
- …Structuring Retrenchments in B by Decomposition Michael Poppleton 1 and Richard Banach 2 1…
- Cited by 3 (3 self) – Add To MetaCart
-
Linear Behaviour Of Term Graph Rewriting Programs
- …LINEAR BEHAVIOUR OF TERM GRAPH REWRITING PROGRAMS Richard Banach George A. Papadopoulos CS…
- Cited by 12 (12 self) – Add To MetaCart
-
A Highly Parallel Model for Object-Oriented Concurrent Constraint Programming
- … Model for Object-Oriented Concurrent Constraint Programming Richard Banach Department of Computer…
- Cited by 4 (4 self) – Add To MetaCart
-
Retrenching the Purse: Finite Sequence Numbers and the Tower Pattern
- …Retrenching the Purse: Finite Sequence Numbers Richard Banach 1 , Michael Poppleton 2 , Czeslaw…
- Cited by 7 (6 self) – Add To MetaCart
-
Dynamic aspects of retrenchments through Temporal Logic
- … Richard Banach Department of Computer Science, University of Manchester Manchester M13 9PL, UK banach…
- Add To MetaCart
-
Composing and Promoting Retrenchments in Z
- …Composing and Promoting Retrenchments in Z Richard Banach , Michael Poppleton and Czeslaw Jeske…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
