Recent publications
by John Derrick

• Model transformation across views. John Derrick and Heike Wehrheim. Science of Computer Programming, 75(3):192-210. Elsevier, March 2010.
• Linearizability - deriving and mechanically verifying proof obligations. John Derrick, Gerhard Schellhorn and Heike Wehrheim. In J. Abrial, M. Butler, R. Joshi, E. Troubitsyna, J. C. P. Woodcock, editors, Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl Seminar Proceedings 09381. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. January 2010.
• Z2SAL: a translation-based model checker for Z. John Derrick and Siobhan North and Anthony Simons. Formal Aspects of Computing, Springer, October 2009.
• Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. Neil Walkinshaw, John Derrick and Qiang Guo FM'09, volume 5850 of Lecture Notes in Computer Science, pages 305-320. Springer, November 2009
• Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. Qiang Guo, John Derrick and Neil Walkinshaw. TestCom/FATES, volume 5826 of Lecture Notes in Computer Science, pages 81-96. Springer, November 2009.
• Using formal specifications to support testing. Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Luttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward and Hussein Zedan. ACM Computing Surveys, 41(2), 2009
• Relational Concurrent Refinement: Automata. John Derrick and Eerke Boiten. Electr. Notes Theor. Comput. Sci., 259: 21-34, 2009.
• Relational Concurrent Refinement part II: Internal operations and outputs. Eerke Boiten and John Derrick. Formal Aspects of Computing, 21(1-2), February 2009.
• Divergence modelling in relational concurrent refinement. Eerke Boiten and John Derrick and Gerhard Schellhorn. In M. Leuschel and H. Wehrheim, editors, IFM 2009, volume 5423 of Lecture Notes in Computer Science, pages 183-199, Springer, February 2009.
• Z2SAL - Building a Model Checker for Z. John Derrick and Siobhan North and Anthony Simons. In E. Borger et al, editors, ABZ 2008, volume 5238 of Lecture Notes in Computer Science, pages 280-293. Springer, September 2008.
• Verifying Erlang Telecommunication Systems with the Process Algebra muCRL. Qiang Guo, John Derrick, and Csaba Hoch. In K. Suzuki, T. Higashino, K. Yasumoto and K. El-Fakih, editors, Formal Techniques for Networked and Distributed Systems (FORTE 2008), volume 5048 of Lecture Notes in Computer Science, pages 201-217. Springer, June 2008.
• Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. John Derrick, Gerhard Schellhorn and Heike Wehrheim. In Gilles Barthe and Frank S. de Boer, editors, Formal Methods for Open Object-Based Distributed Systems, volume 5051 of Lecture Notes in Computer Science, pages 78-95. Springer, June 2008.
• More relational concurrent refinement: traces and partial relations. John Derrick and Eerke Boiten. In E Boiten, J Derrick and G Schellhorn, editors REFINE 2008, To appear in ENTCS, Elsevier,  2008.
• Proceedings of the 12th International Refinement Workshop (REFINE 2007), Oxford, UK. Edited by E. Boiten, J. Derrick and G. Smith. Volume 201, pages 1-264 of Electronic Notes in Theoretical Computer Science. 7 March 2008.
• Verification of Timed Erlang/OTP components using the process algebra muCRL. Qiang Guo and John Derrick. In S. Thompson and Lars-Ake Fredlund, editors, Proceedings of the 2007 SIGPLAN Erlang Workshop, pages 55-64. ACM Press, October 2007.
• Proving Liniearizability via Non-atomic Refinement. John Derrick, Gerhard Schellhorn and Heike Wehrheim. In J. Davies and J. Gibbons, editors, Integrated Formal Methods (IFM 2007), volume 4591 of Lecture Notes in Computer Science, pages 195-214. Springer, July 2007.
• Using model checking to automatically find retrieve relations. John Derrick and Graeme Smith. In E Boiten, J Derrick and G Smith, editors REFINE 2007, Volume 201 of ENTCS, pages 155-175, Elsevier,  2007.
• Formal Techniques for Networked and Distributed Systems - FORTE 2007. John Derrick and Juri Vain, editors. Volume 4574 of Lecture Notes in Computer Science, Springer, July 2007.
• On using data abstractions for model checking refinements. John Derrick and Heike Wehrheim. Acta Informatica, 44(1):41-71 April 2007.
• Issues in implementing a model checker for Z. John Derrick, Siobhan North and Tony Simons. In Z. Liu and J. He, editors, International Conference on Formal Engineering Methods (ICFEM 2006), volume 4260 of Lecture Notes in Computer Science, pages 678-696. Springer, November 2006.
• Proceedings of the 11th International Refinement Workshop (REFINE 2006), Macao, China. Edited by B. Aichernig, E. Boiten, J. Derrick and L. Groves. Volume 187, pages 1-188 of Electronic Notes in Theoretical Computer Science. July 2007.
• Relational Concurrent Refinement with Internal Operations. John Derrick and Eerke Boiten. In B. Aichernig, E. Boiten, J. Derrick and L. Groves, editors REFINE 2006, Volume 187, pages 35-53 of Electronic Notes in Theoretical Computer Science. July 2007.
• Filtering retrenchments into refinements. Richard Banach and John Derrick. In D.V. Hung, P. Pandya editors, Proceedings IEEE SEFM-06, pages 60-69, ISBN. 0769526780.
• Verifying data refinements using a model checker. Graeme Smith and John Derrick. Formal Aspects of Computing, 18(3):264-287, August 2006.
• Model transformations Incorporating Multiple Views. John Derrick and Heike Wehrheim. In M. Johnson and V. Vene, editors, Algebraic Methodology and Software Technology (AMAST 2006), volume 4019 of Lecture Notes in Computer Science, pages 111-126. Springer, July 2006.
• Guest Editorial. John Derrick, Mark Harman and Rob Hierons. Formal Aspects of Computing, 18(1):1-2, March 2006.
• Guest Editorial. Eerke Boiten, John Derrick, and Graeme Smith. Formal Aspects of Computing, 17(4):389-389, December 2005.
• Verifying Fault-Tolerant Erlang Programs. Clara benac Earle, Lars-Ake Fredlund and John Derrick. In K. Sagonas and J. Armstrong, editors Erlang 2005, Proceedings of ACM SigPlan 2005 Erlang Workshop, pages 26-34. ACM Press, 2005.
• Preface. John Derrick and Eerke Boiten. In J Derrick and E Boiten, editors REFINE 2005, Issue 2, volume 137 of ENTCS, pages 1-3. Elsevier, July 2005.
• Model checking downward simulations. Graeme Smith and John Derrick. In J Derrick and E Boiten, editors REFINE 2005, Issue 2, volume 137 of ENTCS, pages 205-224. Elsevier, July 2005.
• Introduction: Special section on St.eve workshop. Tommaso Bolognesi and John Derrick. Software and Systems Modeling, 4, May 2005.
• Non-atomic refinement in Z and CSP. John Derrick and Heike Wehrheim. In H Treharne, S King, M Henson and S Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, volume 3455 of Lecture Notes in Computer Science, pages 24-44. Springer, April 2005.
• Formal program development with approximations. Eerke Boiten and John Derrick. In H Treharne, S King, M Henson and S Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, volume 3455 of Lecture Notes in Computer Science, pages 374-392. Springer, April 2005.
• Linear temporal logic and Z refinement. John Derrick and Graeme Smith. In C. Rattray, S Maharaj, and C Shankland, editors, Algebraic Methodology and Software Technology (AMAST 2004), volume 3116 of Lecture Notes in Computer Science, pages 117-131. Springer, July 2004.
• A Viewpoints Approach to Designing Group Based Applications. David Akehurst, Gill Waters, and John Derrick. In Herwig Unger, editor, Design, Analysis and Simulation of Distributed Systems 2004, Advanced Simulation Technologies Conference, pages 83-93, Arlington, Virginia, April 2004.
• Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Eerke Boiten, John Derrick, and Graeme Smith. Technical Report 4-04, University of Kent, Canterbury, April 2004.
• Integrated formal methods, 4th international conference. Eerke A. Boiten, John Derrick, and Graeme Smith, editors, volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, April 2004.
• Editorial: Special issue on Refinement. Eerke Boiten, Tim Denvir, John Derrick, and Joakim von Wright. Formal Aspects of Computing, 15(2):101-102, November 2003.
• Relational concurrent refinement. John Derrick and Eerke Boiten. Formal Aspects of Computing, 15(2):182-214, November 2003.
• Design and Verification of Distributed Multi-media Systems. D.H.Akehurst, J.Derrick, and A.G.Waters. In Elie Najm, Uwe Nestmann, and Perdita Stevens, editors, FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, volume 2884 of Lecture Notes in Computer Science, pages 276-292. Springer, November 2003.
• Model Checking Stochastic Automata. J. Bryans, H. Bowman, and J. Derrick. ACM Transactions on Computational Logic, 4(4):452-492, October 2003.
• A relational framework for the integration of specifications. Eerke Boiten and John Derrick. Journal of Integrated Design and Process Science, 7(3):39-48, September 2003.
• Addressing Computational Viewpoint Design. D.H.Akehurst, J.Derrick, and A.G.Waters. In Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003, Brisbane, Australia, September 2003. IEEE Computer Society.
• Structural Refinement of Systems Specified in Object-Z and CSP. John Derrick and Graeme Smith. Formal Aspects of Computing, 15(1):1 - 27, July 2003.
• Using coupled simulations in non-atomic refinement. John Derrick and Heike Wehrheim. In D Bert, J Bowen, S King, and M Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 127-147. Springer, June 2003.
• Timed CSP and Object-Z. John Derrick. In D. Bert, J. Bowen, S. King, and M. Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 300-318. Springer, June 2003.
• Development of a verified Erlang program for resource locking. Thomas Arts, Clara Benac Earle, and John Derrick. Software Tools for Technology Transfer (STTT), May 2003. To be published as a regular paper.
• Recent advances in refinement. J. Derrick and E.A.Boiten. In E.Borger, A. Gargantini, and E.Riccobene, editors, Abstract State Machines 2003, number 2589 in Lecture Notes in Computer Science, pages 33-56. Springer, March 2003. Invited lecture.
• Design and Verification of Distributed Multi-media Systems. D.H.Akehurst, B.Bordbar, J.Derrick, and A.G.Waters. Technical Report 1-03, University of Kent at Canterbury, January 2003.
• A UML approach to the design of open distributed systems. Behzad Bordbar, John Derrick, and Gill Waters. In Chris George and Huaikou Miao, editors, Formal Methods and Software Engineering, volume 2495 of Lecture Notes in Computer Science, pages 561-572. Springer, November 2002.
• Abstract Specification in Object-Z and CSP. Graeme Smith and John Derrick. In Chris George and Huaikou Miao, editors, Formal Methods and Software Engineering, volume 2495 of Lecture Notes in Computer Science, pages 108-119. Springer, November 2002.
• Using UML to specify QoS constraints in ODP. Behzad Bordbar, John Derrick, and Gill Waters. Computer Networks, pages 279-304, October 2002.
• A framework for UML consistency. John Derrick, David Akehurst, and Eerke Boiten. In L. Kuzniarz, G. Reggio, J. L. Sourrouille, and Z. Huzar, editors, <<UML>> 2002 Workshop on Consistency Problems in UML-based Software Development, pages 30-45, October 2002.
• Design Support for Distributed Systems: DSE4DS. D.H.Akehurst, B.Bordbar, J.Derrick, and A.G.Waters. In J.Finney, M.Haahr, and A.Montressor, editors, Procedings of the 7th Cabernet Radicals Workshop, October 2002.
• A formal framework for viewpoint consistency. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Formal Methods in System Design, 21:111-166, September 2002.
• Verifying Erlang code: a resource locker case-study. Thomas Arts, Clara Benac Earle, and John Derrick. In Lars-Henrik Eriksson and Peter Alexander Lindsay, editors, In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark, volume 2391 of LNCS, pages 184-203. Springer-Verlag, July 2002.
• Unifying concurrent and relational refinement. Eerke Boiten and John Derrick. In John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, REFINE 02: The BCS FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science, page 38. Elsevier Science Publishers, July 2002.
• REFINE 2002: The BCS FACS Refinement Workshop. John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, volume 70(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, July 2002.
• Integration of specifications through development relations. Eerke Boiten and John Derrick. In H. Ehrig, B.J. Kr"amer, and A. Ertas, editors, Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, page 8. SDPS, June 2002.
• Combining Component specifications in Object-Z and CSP. J Derrick and E Boiten. Formal Aspects of Computing, 13:111-127, May 2002.
• ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. C.N. Taylor, E.A. Boiten, and J. Derrick. IEE Proceedings Software, 149(2):57-63, April 2002.
• Interpreting ODP viewpoint specifications: Observations from a Case Study. Chris Taylor, Eerke Boiten, and John Derrick. In Bart Jacobs and Arend Rensink, editors, Formal Methods for Open Object-Based Distributed Systems V, pages 61-76. Kluwer Academic Publishers, March 2002.
• Handling inconsistencies in z using quasi-classical logic. Ralph Miarka, John Derrick, and Eerke Boiten. In Didier Bert, Jonathan P. Bowen, Martin C. Henson, and Ken Robinson, editors, ZB2002: Formal Specification and Development in Z and B / Second International Conference of B and Z Users, volume 2272 of Lecture Notes in Computer Science, pages 204-225, Grenoble, France, January 2002. Springer-Verlag Berlin Heidelberg.
• Formal methods for distributed processing, a survey of object-oriented approaches. H. Bowman and J. Derrick, editors. Cambridge University Press, Cambridge, UK, September 2001.
• Issues in formal methods (chapter 3). H. Bowman and J. Derrick. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 18-35. Cambridge University Press, Cambridge, UK, September 2001.
• Viewpoints modelling. H. Bowman and J. Derrick. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 451-475. Cambridge University Press, Cambridge, UK, September 2001.
• Interpreting ODP Viewpoint Specification: Observations from a Case Study. C Taylor, E Boiten, and J Derrick. Technical Report 9-01, Computing Laboratory, University of Kent at Canterbury, UK, September 2001.
• Refinement in z and object-z: Foundations and advanced applications. John Derrick and Eerke Boiten. Formal Approaches to Computing and Information Technology. Springer, May 2001.
• Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. G. Smith and J. Derrick. Formal Methods in Systems Design, 18:249-284, May 2001.
• Analysis of a multimedia stream using stochastic process algebra. H. Bowman, J.W. Bryans, and J. Derrick. The Computer Journal, 44(4):230-245, April 2001.
• Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. James Cole, John Derrick, Zoran Milosevic, and Kerry Raymond. In Morris Sloman, Jorge Lobo, and Emil Lupu, editors, Policies for Distributed Systems and Networks, volume 1995 of Lecture Notes in Computer Science, pages 1-17. Springer-Verlag, January 2001.
• A Manual for a ModelChecker for Stochastic Automata. David Akehurst, Howard Bowman, Jeremy Bryans, and John Derrick. Technical Report 9-00, Computing Laboratory, University of Kent, December 2000.
• Teaching communication protocols. John Derrick and Sally Fincher. Computer Science Education, 10(3):195-202, December 2000.
• Editorial: Special Issue on specification-based testing. Robert Hierons and John Derrick. Software Testing, Verification and Reliability, 10(4):201-202, December 2000.
• Towards stochastic model checking with generalised distributions. H. Bowman, J.W.Bryans, and J. Derrick. In UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, November 2000.
• Specification and analysis of automata-based designs. Jeremy Bryans, Lynne Blair, Howard Bowman, and John Derrick. In W. Grieskamp, T. Stanten, and B. Stoddart, editors, Integrated Formal Methods (IFM 2000), volume 1945 of Lecture Notes in Comuter Science, pages 176-193. Springer, November 2000.
• Structural refinement in Object-Z / CSP. John Derrick and Graeme Smith. In W. Grieskamp, T. Stanten, and B. Stoddart, editors, Integrated Formal Methods (IFM 2000), volume 1945 of Lecture Notes in Computer Science, pages 194-213. Springer, November 2000.
• A single complete refinement rule for Z. J. Derrick. Logic and Computation, 10(5):663-675, October 2000.
• Refinement of objects and operations in Object-Z. John Derrick and Eerke Boiten. In Scott F. Smith and Carolyn L. Talcott, editors, Formal Methods for Open Object-based Distributed Systems IV, pages 257-277. Kluwer Academic Publishers, September 2000.
• ODP Enterprise Viewpoint Specification. M.W.A. Steen and J. Derrick. Computer Standards and Interfaces, 22:165-189, September 2000.
• A Case Study in Partial Specification: Consistency and Refinement for Object-Z. Chris Taylor, John Derrick, and Eerke Boiten. In Proc. of ICFEM 2000, pages 177-185. IEEE, September 2000.
• Viewpoint consistency in ODP. E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen. Computer Networks, 34(3):503-537, August 2000.
• Guards, Preconditions, and Refinement in Z. Ralph Miarka, Eerke Boiten, and John Derrick. In Jonathan P. Bowen, Steve Dunne, Andy Galloway, and Steve King, editors, ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science, pages 286-303. Springer-Verlag Berlin, August 2000.
• Liberating data refinement. E.A. Boiten and J. Derrick. In R.C. Backhouse and J.N. Oliveira, editors, Mathematics of Program Construction, 5th International Conference, Ponte de Lima, volume 1837 of Lecture Notes in Computer Science, pages 144-166. Springer, July 2000.
• Guest editors introduction: Formal methods for object oriented distributed systems. H Bowman, J Derrick, and E Brinksma. IEEE Transactions on Software Engineering, 26(7):577-578, July 2000.
• A model checking algorithm for stochastic systems. Jeremy Bryans, Howard Bowman, and John Derrick. Technical Report 4-00, University of Kent at Canterbury, Canterbury, Kent, January 2000.
• A formal framework for viewpoint consistency (full version). H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Computing Laboratory Technical Report 22-99, University of Kent at Canterbury, Canterbury, Kent, CT2 7NZ, December 1999.
• Constructive consistency checking for partial specification in Z. E.A. Boiten, J. Derrick, H. Bowman, and M.W.A. Steen. Science of Computer Programming, 35(1):29-75, September 1999.
• Non-atomic refinement in Z. J. Derrick and E.A. Boiten. In J.M. Wing, J.C.P. Woodcock, and J. Davies, editors, FM'99 World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of Lecture Notes in Computer Science, pages 1477-1496, Berlin, September 1999. Springer.
• Formalising ODP Enterprise Policies. M. W. A. Steen and J. Derrick. In 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), University of Mannheim, Germany, September 1999. IEEE Publishing.
• Viewpoints and consistency: translating LOTOS to Object-Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Computer Standards and Interfaces, 21:251-272, August 1999.
• Stochastic specification and verification. Jeremy Bryans and John Derrick. In 3rd Irish Workshop in Formal Methods, Electronic Workshops in Computing, page 20. Springer, July 1999.
• Calculating upward and downward simulations of state-based specifications. John Derrick and Eerke Boiten. Information and Software Technology, 41:917-923, July 1999.
• Separating component and context specification using promotion. John Derrick and Eerke Boiten. In K. Araki, A. Galloway, and K. Taguchi, editors, International conference on Integrated Formal Methods 1999 (IFM'99), pages 293-312. Springer, July 1999.
• Testing refinements of state-based formal specifications. John Derrick and Eerke Boiten. Software Testing, Verification and Reliability, (9):27-50, July 1999.
• Applying the UML to the ODP enterprise viewpoint. M.W.A. Steen and J. Derrick. Technical Report 8-99, Computing Laboratory, University of Kent at Canterbury, May 1999.
• Strategies for consistency checking based on unification. H. Bowman, E. A. Boiten, J. Derrick, and M. W. A. Steen. Science of Computer Programming, 33:261-298, April 1999.
• A junction between state based and behavioural specification. H. Bowman and J. Derrick. In A. Fantechi P. Ciancarini and R. Gorrieri, editors, Formal Methods for Open Object-based Distributed Systems, pages 213-239. Kluwer, February 1999. Invited Paper.
• Consistency of partial process specifications. Maarten Steen, John Derrick, Eerke Boiten, and Howard Bowman. In Armando Haeberer, editor, AMAST'98, page 15. Springer Verlag, January 1999.
• Specifying and Refining Internal Operations in Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Formal Aspects of Computing, 10:125-159, December 1998.
• Grey box data refinement. E.A. Boiten and J. Derrick. In J. Grundy, M. Schwenke, and T. Vickers, editors, International Refinement Workshop & Formal Methods Pacific '98, Discrete Mathematics and Theoretical Computer Science, pages 45-59, Canberra, September 1998. Springer-Verlag.
• IO - refinement in Z. E.A. Boiten and J. Derrick. In A Evans, D Duke, and T Clark, editors, 3rd BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer Verlag, September 1998.
• Analysis of a multimedia stream using stochastic process algebra. Howard Bowman, Jeremy Bryans, and John Derrick. In Corrado Priami, editor, Sixth International Workshop on Process Algebras and Performance Modelling, pages 51-69, Nice, September 1998.
• Testing refinements by refining tests. J. Derrick and E. A. Boiten. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM'98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 265-283. Springer-Verlag, September 1998.
• Automatic verification of a lip synchronisation protocol using UPPAAL. H. Bowman, G. Faconti, J.-P. Katoen, D. Latella, and M. Massink. Formal Aspects of Computing, 10(5-6):550-575, August 1998. Special Issue on Formal Methods for Industrial Critical Systems.
• Constraint-oriented style for object-oriented formal specification. Tommaso Bolognesi and John Derrick. IEE Proceedings Software, 145(2-3):61-69, April 1998.
• Refinement and verification of concurrent systems specified in Object-Z and CSP. G. Smith and J. Derrick. In M. Hinchey and Shaoying Liu, editors, First IEEE International Conference on Formal Engineering Methods (ICFEM '97), pages 293-302, Hiroshima, Japan, November 1997. IEEE Computer Society.
• Disjunction of LOTOS specifications. M.W.A. Steen, H. Bowman, J. Derrick, and E.A. Boiten. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97, pages 177-192, Osaka, Japan, November 1997. Chapman & Hall.
• Viewpoint consistency in Z and LOTOS: A case study. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, pages 644-664. Springer-Verlag, September 1997.
• Coupling schemas: data refinement and view(point) composition. E.A. Boiten, J. Derrick, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, 2nd BCS-FACS Northern Formal Methods Workshop, Workshops in Computing, page 18. Springer-Verlag, July 1997.
• On Behavioural Subtyping in LOTOS. H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. In H. Bowman and J. Derrick, editors, FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall, July 1997.
• FMOODS'97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. Howard Bowman and John Derrick, editors, volume 2, Canterbury, UK, July 1997. Chapman and Hall.
• Translating LOTOS to Object-Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, Northern Formal Methods Workshop, volume 2nd BCS-FACS Northern Formal Methods Workshop of Workshops in Computing. Springer-Verlag, July 1997.
• Extending LOTOS with time: True concurrency perspective. Howard Bowman and John Derrick. In Miquel Bertran and Teodor Rus, editors, ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software, volume 1231 of Lecture Notes in Computer Science, pages 382-399. Springer-Verlag, May 1997.
• Formal Specification and Testing of a Management Architecture. G. P. A. Fernandes and J. Derrick. In Aurel Lazar, Roberto Saracco, and Rolf Stadler, editors, Integrated Network Management V - Integrated management in a virtual world, pages 473-484, San Diego, California, USA, May 1997. IFIP/IEEE, Chapman & Hall.
• Weak refinement in Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In J.P. Bowen, M.G. Hinchey, and D.Till, editors, ZUM '97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 369-388, Reading, April 1997. Springer-Verlag.
• Issues in multiparadigm viewpoint specification. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In A. Finkelstein and G. Spanoudakis, editors, SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96), pages 162-166. ACM, October 1996.
• Comparing LOTOS and Z refinement relations. J. Derrick, H. Bowman, E.A. Boiten, and M. Steen. In FORTE/PSTV'96, pages 501-516, Kaiserslautern, Germany, October 1996. Chapman & Hall.
• Formal Specification of Distributed Services Management. G. P. A. Fernandes and J. Derrick. In Otto Spaniol, Claudia Linnhoff-Popien, and Bernd Meyer, editors, Trends in Distributed Systems' 96, pages 96-103, Aachen, Germany, October 1996. RWTH Aachen, Verlag der Augustinus Buchhandlung.
• The specification and conformance of ODP systems. P.F. Linington, J. Derrick, and H. Bowman. In 9th International Workshop on Testing of Communicating Systems, pages 93-114, Darmstadt, Germany, September 1996. IFIP TC6/WG6.1, Chapman & Hall.
• Consistency and refinement for partial specification in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287-306. Springer-Verlag, March 1996.
• Viewpoint consistency in ODP, a general interpretation. H. Bowman, E. Boiten, J. Derrick, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 189-204. Chapman & Hall, March 1996.
• Supporting ODP - translating LOTOS into Z. J. Derrick, E. Boiten, H. Bowman, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 399-406, Paris, March 1996. Chapman & Hall.
• Strategies for consistency checking, the choice of unification. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 5-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1996.
• Cross viewpoint consistency in Open Distributed Processing. H. Bowman, J. Derrick, P. Linington, and M. Steen. Software Engineering Journal, 11(1):44-57, January 1996.
• Unification and multiple views of data in Z. E. Boiten, J. Derrick, H. Bowman, and M.Steen. In J.C. van Vliet, editor, Computing Science in the Netherlands, pages 73-85, Amsterdam, November 1995. Stichting Mathematisch Centrum.
• Strategies for consistency checking. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 12-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1995.
• FDTs for ODP. H. Bowman, J. Derrick, P. Linington, and M. Steen. Computer Standards and Interfaces, 17:457-479, September 1995.
• A true concurrency semantics for quality of service specification and validation. H. Bowman and J. Derrick. In Behcet Sarikaya and Senro Saito, editors, MMNet'95, International Conference on Multimedia and Networking, pages 173-182. IEEE Computer Society Press, September 1995.
• Viewpoints and Objects. J. Derrick, H. Bowman, and M. Steen. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, volume 967 of Lecture Notes in Computer Science, pages 449-468, Limerick, September 1995. Springer-Verlag.
• Cross viewpoint consistency in open distributed processing (intra language consistency). Eerke Boiten, Howard Bowman, John Derrick, and Maarten Steen. Technical Report 8-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1995.
• Some results on cross viewpoint consistency checking. H. Bowman, J. Derrick, and M. Steen. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 399-412, Brisbane, Australia, February 1995. Chapman and Hall.
• Modelling distributed systems using Z. H. Bowman and J. Derrick. In K. M. George, editor, ACM Symposium on Applied Computing, pages 147-151, Nashville, February 1995. ACM Press.
• Maintaining cross viewpoint consistency using Z. J. Derrick, H. Bowman, and M. Steen. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 413-424, Brisbane, Australia, February 1995. Chapman and Hall.
• Composition of LOTOS specifications. M. W. A. Steen, H. Bowman, and J. Derrick. In P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification, XV, pages 73-88, Warsaw, Poland, January 1995. Chapman & Hall.
• Towards a formal model of consistency in odp. Howard Bowman and John Derrick. Technical Report 3-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1994.
• Modelling garbage collection algorithms. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of International Computing Symposium, January 1994. Also in ALP-UK International Workshop on Concurrency in Computational Logic.
• Modelling garbage collection algorithms - extend abstract. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of Principles of Distributed Computing'94, January 1994. Extended abstract of CCS94.
• The specification in Z of the rex protocol. John Derrick and Robert Sultana. Technical Report 10-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1993.