Most of these are held in the directory http://www.cs.man.ac.uk/~banach/some.pubs (refered to below as . . .) in both ps.gz and pdf forms.
Note that the ps.gz and pdf forms can differ slightly in inessential formatting detail due to the pdf having been produced using later releases of the document processing software in some cases, and/or ps2pdf vagaries.
Last Updated: 01.06.15
Edited Books K-K. Lau, R. Banach (eds.) 2005 Proc. ICFEM-05, LNCS 3785 xiv+496pp. Formal Methods and Software Engineering. Springer. ISBN. 3540297979 H. Wang, R. Banach (eds.) 2013 Proc. TASE-13, xii+248pp. Theoretical Aspects of Software Engineering. IEEE. ISBN. 9780769550534 Other Papers (Subject to change, but nevertheless deemed fit to be seen in public.) R. Banach, M. Poppleton, C. Jeske, S. Stepney 2008 16pp., `Retrenchment and Promotion in Z.' Preprint: .../Retrench.Prom.Z.ps.gz .../Retrench.Prom.Z.pdf R. Banach, G. Schellhorn 2007 40pp., `Atomic Actions and their Refinement to Isolated and Not-So-Isolated Protocols.' Preprint: .../Refine.At.ns.At.Act.ps.gz .../Refine.At.ns.At.Act.pdf R. Banach, C. Jeske, S. Fraser, R. Cross, M. Poppleton, S. Stepney, S. King 2004 12pp., `Approaching the Formal Design and Development of Complex Systems: The Retrenchment Position.' Preprint: .../Retrench.Complex.ps.gz .../Retrench.Complex.pdf R. Banach 2003 41pp., `Retrenchment and System Properties.' Preprint: .../Retrench.Props.ps.gz .../Retrench.Props.pdf R. Banach 2003 25pp., `Abstract Diagrams.' Preprint: .../Abs.Diag.ps.gz .../Abs.Diag.pdf R. Banach, A. Corradini 1999 49pp., `Abstract Diagrams and an Opfibration Account of Typed Graph Transformation.' Preprint: .../Abs.Diag.Op.Ty.Gr.Tr.ps.gz .../Abs.Diag.Op.Ty.Gr.Tr.pdf R. Banach, F. van Breugel 1998 12pp., `Mobility and Modularity: Expressing Pi-Calculus in CCS.' Preprint: .../Pi.CCS.ext.abs.ps.gz .../Pi.CCS.ext.abs.pdf Contributions to Edited Works R. Banach, G.A. Papadopoulos 1996 Chapter 26 of: Formal Methods for Open Object-based Distributed Systems, 357-372, E. Najm, J-B. Stefani (eds.) `Expressing Runtime Structure and Synchronisation in Concurrent Object Oriented Languages with MONSTR.' Chapman & Hall, ISBN. 0412797704 Preprint: .../Expr.Run.Struc.Sync.COOL.ps.gz .../Expr.Run.Struc.Sync.COOL.pdf R. Banach 1993 Chapter 18 of: Term Graph Rewriting: Theory and Practice, 243-252, M.R. Sleep M.J. Plasmeijer M.C.D. van Eekelen (eds.) `MONSTR: Term Graph Rewriting for Parallel Machines.' John Wiley, ISBN. 0471935670 Preprint: .../MONSTR.TGR.Par.Mach.ps.gz .../MONSTR.TGR.Par.Mach.pdf R. Banach 1993 Chapter 7 of: Term Graph Rewriting: Theory and Practice, 91-100, M.R. Sleep M.J. Plasmeijer M.C.D. van Eekelen (eds.) `A Fibration Semantics for Extended Term Graph Rewriting Systems.' John Wiley, ISBN. 0471935670 Preprint: .../Fib.Sem.ETGRS.ps.gz .../Fib.Sem.ETGRS.pdf UMCS and Other Technical Reports http://www.cs.man.ac.uk/csonly/cstechrep/index.html R. Banach, M. Poppleton 1999 UMCS Technical Report, UMCS-99-3-2, 25pp., `Retrenchment: An Engineering Variation on Refinement.' R. Banach 1996 UMCS Technical Report, UMCS-96-12-1, 56pp., `MONSTR V --- Transitive Coercing Semantics and the Church-Rosser Property.' R. Banach, A. Corradini 1996 UMCS Technical Report, UMCS-96-11-2, 47pp., `An Opfibration Account of DPO and DPB Graph Transformation: General Productions.' R. Banach 1996 UMCS Technical Report, UMCS-96-8-1, 20pp., `DPO Rewriting and Abstract Semantics via Opfibrations.' R. Banach 1996 UMCS Technical Report, UMCS-96-7-3, 22pp., `A Fibration Semantics for Pi-Calculus Modules via Abstract MONSTR Rule Systems.' R. Banach 1995 UMCS Technical Report, UMCS-95-7-2, 72pp., `The Algebraic Theory of Interaction Nets.' R. Banach, F. Arbab, G.A. Papadopoulos, J.R.W. Glauert 2002 58pp., `A Multiply Fibred Automaton Semantics for IWIM.' Preprint: .../IWIM.Fibred.ps.gz .../IWIM.Fibred.pdf CWI Research Report SEN-R0206.pdf