`Travelled to:`

1 × Finland

1 × France

1 × India

1 × Italy

1 × Switzerland

1 × USA

3 × United Kingdom

`Collaborated with:`

M.Poppleton ∅ C.Jeske G.A.Papadopoulos S.Stepney S.Fraser J.Derrick A.Hall

`Talks about:`

retrench (9) pattern (2) rewrit (2) refin (2) graph (2) decomposit (1) contractum (1) implement (1) deidealis (1) behaviour (1)

## Person: Richard Banach

### DBLP: Banach:Richard

### Contributed to:

### Wrote 14 papers:

- SAC-2010-Banach #semantics
- A deidealisation semantics for KAOS (RB), pp. 267–274.
- SEFM-2007-BanachJHS
- Retrenchment and the Atomicity Pattern (RB, CJ, AH, SS), pp. 37–46.
- SEFM-2007-FraserB #configuration management #proving #tool support
- Configurable Proof Obligations in the Frog Toolkit (SF, RB), pp. 361–370.
- SEFM-2006-Banach #tutorial
- Retrenchment Tutorial (RB), p. 259.
- SEFM-2006-BanachD
- Filtering Retrenchments into Refinements (RB, JD), pp. 60–69.
- FM-2005-BanachPJS #finite #sequence
- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
- FME-2003-PoppletonB #composition
- Structuring Retrenchments in B by Decomposition (MP, RB), pp. 814–833.
- IFM-2002-JeskeB
- Minimally and Maximally Abstract Retrenchments (CJ, RB), pp. 380–400.
- ASE-1999-PoppletonB #named #refinement
- Retrenchment: Extending the Reach of Refinement (MP, RB), pp. 158–165.
- FM-v2-1999-BanachP
- Retrenchment (RB, MP), pp. 1864–1865.
- IFM-1999-BanachP #simulation
- Retrenchment and Punctured Simulation (RB, MP), pp. 457–476.
- SAC-1997-BanachP #implementation #interactive
- Implementing interaction nets in MONSTR (RB, GAP), pp. 509–514.
- SAC-1995-BanachP #behaviour #graph grammar #linear #source code
- Linear behaviour of term graph rewriting programs (RB, GAP), pp. 157–163.
- TAGT-1994-Banach #algebra #graph grammar
- The Contractum in Algebraic Graph Rewriting (RB), pp. 16–26.