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:
2010
20072006
20052003
2002
19991999199919971995
1994Wrote 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.