×
Author ID: banach.richard Recent zbMATH articles by "Banach, Richard"
Published as: Banach, R.; Banach, Richard
Homepage: http://www.cs.man.ac.uk/~banach/
Documents Indexed: 34 Publications since 1993
Co-Authors: 10 Co-Authors with 18 Joint Publications
213 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 88 times in 37 Documents Cited by Year
Engineering and theoretical underpinnings of retrenchment. Zbl 1119.68348
Banach, R.; Poppleton, M.; Jeske, C.; Stepney, S.
17
2007
Composition mechanisms for retrenchment. Zbl 1137.68037
Banach, R.; Jeske, C.; Poppleton, M.
9
2008
Retrenching the purse: Finite sequence numbers, and the tower pattern. Zbl 1120.68406
Banach, Richard; Poppleton, Michael; Jeske, Czeslaw; Stepney, Susan
9
2005
Retrenchment and refinement interworking: the tower theorems. Zbl 1361.68056
Banach, Richard; Jeske, Czesław
6
2015
Sequent reconstruction in LLM – A sweepline proof. Zbl 0830.03027
Banach, R.
5
1995
Atomic actions, and their refinements to isolated protocols. Zbl 1183.68362
Banach, Richard; Schellhorn, Gerhard
5
2010
Term graph rewriting and garbage collection using opfibrations. Zbl 0817.18006
Banach, R.
5
1994
Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements. Zbl 1118.68436
Banach, Richard; Jeske, Czeslaw; Poppleton, Michael; Stepney, Susan
3
2007
Stronger compositions for retrenchments. Zbl 1209.68131
Banach, R.; Jeske, C.
3
2010
On regularity in software design. Zbl 0832.68032
Banach, R.
3
1995
Regular relations and bicartesian squares. Zbl 0802.18004
Banach, R.
3
1994
The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits. Zbl 1298.68050
Banach, Richard; Bozzano, Marco
3
2013
The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits. Zbl 1298.68051
Banach, Richard; Bozzano, Marco
3
2013
MONSTR I – Fundamental issues and the design of MONSTR. Zbl 0955.68061
Banach, R.
2
1998
Retrenchment and punctured simulation. Zbl 0963.68135
Banach, R.; Poppleton, M.
2
1999
Locating the contractum in the double pushout approach. Zbl 0872.68077
Banach, R.
2
1995
Simple feature engineering via neat default retrenchments. Zbl 1231.68106
Banach, R.; Jeske, C.
1
2011
A translation of the pi-calculus into MONSTR. Zbl 0960.68585
Banach, R.; Balázs, J.; Papadopoulos, G.
1
1995
MONSTR V – transitive coercing semantics and the Church-Rosser property. Zbl 0960.68083
Banach, R.
1
1997
DPO rewriting and abstract semantics via opfibrations. Zbl 0910.68123
Banach, Richard
1
1995
Minimally and maximally abstract retrenchments. Zbl 1057.68590
Jeske, C.; Banach, R.
1
2002
Weak fibrations. Zbl 0778.18007
Banach, R.
1
1993
Retrenchment for Event-B: UseCase-wise development and Rodin integration. Zbl 1214.68129
Banach, Richard
1
2011
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Zbl 1342.93065
Banach, Richard; Zhu, Huibiao; Su, Wen; Huang, Runlei
1
2014
Retrenchment and refinement interworking: the tower theorems. Zbl 1361.68056
Banach, Richard; Jeske, Czesław
6
2015
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Zbl 1342.93065
Banach, Richard; Zhu, Huibiao; Su, Wen; Huang, Runlei
1
2014
The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits. Zbl 1298.68050
Banach, Richard; Bozzano, Marco
3
2013
The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits. Zbl 1298.68051
Banach, Richard; Bozzano, Marco
3
2013
Simple feature engineering via neat default retrenchments. Zbl 1231.68106
Banach, R.; Jeske, C.
1
2011
Retrenchment for Event-B: UseCase-wise development and Rodin integration. Zbl 1214.68129
Banach, Richard
1
2011
Atomic actions, and their refinements to isolated protocols. Zbl 1183.68362
Banach, Richard; Schellhorn, Gerhard
5
2010
Stronger compositions for retrenchments. Zbl 1209.68131
Banach, R.; Jeske, C.
3
2010
Composition mechanisms for retrenchment. Zbl 1137.68037
Banach, R.; Jeske, C.; Poppleton, M.
9
2008
Engineering and theoretical underpinnings of retrenchment. Zbl 1119.68348
Banach, R.; Poppleton, M.; Jeske, C.; Stepney, S.
17
2007
Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements. Zbl 1118.68436
Banach, Richard; Jeske, Czeslaw; Poppleton, Michael; Stepney, Susan
3
2007
Retrenching the purse: Finite sequence numbers, and the tower pattern. Zbl 1120.68406
Banach, Richard; Poppleton, Michael; Jeske, Czeslaw; Stepney, Susan
9
2005
Minimally and maximally abstract retrenchments. Zbl 1057.68590
Jeske, C.; Banach, R.
1
2002
Retrenchment and punctured simulation. Zbl 0963.68135
Banach, R.; Poppleton, M.
2
1999
MONSTR I – Fundamental issues and the design of MONSTR. Zbl 0955.68061
Banach, R.
2
1998
MONSTR V – transitive coercing semantics and the Church-Rosser property. Zbl 0960.68083
Banach, R.
1
1997
Sequent reconstruction in LLM – A sweepline proof. Zbl 0830.03027
Banach, R.
5
1995
On regularity in software design. Zbl 0832.68032
Banach, R.
3
1995
Locating the contractum in the double pushout approach. Zbl 0872.68077
Banach, R.
2
1995
A translation of the pi-calculus into MONSTR. Zbl 0960.68585
Banach, R.; Balázs, J.; Papadopoulos, G.
1
1995
DPO rewriting and abstract semantics via opfibrations. Zbl 0910.68123
Banach, Richard
1
1995
Term graph rewriting and garbage collection using opfibrations. Zbl 0817.18006
Banach, R.
5
1994
Regular relations and bicartesian squares. Zbl 0802.18004
Banach, R.
3
1994
Weak fibrations. Zbl 0778.18007
Banach, R.
1
1993

Citations by Year