BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Banach:Richard

Contributed to:

SAC 20102010
SEFM 20072007
SEFM 20062006
FM 20052005
FME 20032003
IFM 20022002
ASE 19991999
World Congress on Formal Methods 19991999
IFM 19991999
SAC 19971997
SAC 19951995
TAGT 19941994

Wrote 14 papers:

SAC-2010-Banach #semantics
A deidealisation semantics for KAOS (RB), pp. 267–274.
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.
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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.