Items where Author, Editor or other role is "Derrick, J."

Derrick, John, Boiten, Eerke Albert (2014) Relational Concurrent Refinement Part III: Traces, partial relations and automata. Formal Aspects of Computing, 26 (2). pp. 407-432. ISSN 0934-5043. (doi:10.1007/s00165-012-0262-3) (KAR id:30788)

Derrick, John, Boiten, Eerke Albert (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. E-ISBN 978-1-4471-5355-9. (doi:10.1007/978-1-4471-5355-9) (KAR id:37392)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2011) Preface: Selected papers of the Refinement Workshop Turku (2008). Science of Computer Programming, 76 (9). pp. 182-196. ISSN 0167-6423. (doi:10.1016/j.scico.2011.03.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30732)

Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2011) Proceedings 15th International Refinement Workshop. Proceedings 15th International Refinement Workshop, 55 . pp. 182-196. ISSN 2075-2180. (doi:10.4204/EPTCS.55) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30758)

Boiten, Eerke Albert (2011) Perspicuity and Granularity in Refinement. In: Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. Proceedings 15th International Refinement Workshop. Electronic Proceedings in Theoretical Computer Science , 55. pp. 182-196. (doi:10.4204/EPTCS.55.10) (KAR id:30752)

Chung, W.M., Howells, Gareth, McDonald-Maier, Klaus D., Hopkins, Andrew B.T., Arslan, Tughrul, Derrick, John (2010) Novel Model Driven Design and Validation Techniques for Adaptive Cruise Control. In: Proc. 1st Workshop on Model Based Engineering for Embedded Systems Design. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24229)

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 250-271. ISBN 978-3-642-17070-6. E-ISBN 978-3-642-17071-3. (doi:10.1007/978-3-642-17071-3_13) (KAR id:42313)

Boiten, Eerke Albert and Derrick, John (2009) Modelling divergence in Relational Concurrent Refinement. In: Leuschel, Michael and Wehrheim, Heike, eds. Integrated Formal Methods 7th International Conference. Lecture Notes in Computer Science, 5423 . Springer, Berlin, Germany, pp. 183-199. ISBN 978-3-642-00254-0. E-ISBN 978-3-642-00255-7. (doi:10.1007/978-3-642-00255-7_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24032)

Aichernig, Bernhard K., Boiten, Eerke Albert, Butler, Michael, Derrick, John, Groves, Lindsay (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. (doi:10.1007/s00165-008-0100-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24076)

Derrick, John, Boiten, Eerke Albert (2008) More relational refinement: traces and partial relations. Electronic Notes in Theoretical Computer Science, 214 . pp. 255-276. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.012) (KAR id:23978)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24072)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.02.012) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23964)

Boiten, Eerke Albert and Derrick, John and Smith, G., eds. (2008) Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . Elsevier, 264 pp. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:3501)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Relational Concurrent Refinement II: Internal Operations and Outputs. Formal Aspects of Computing, 21 (1-2). pp. 65-102. ISSN 0934-5043. (doi:10.1007/s00165-007-0066-z) (KAR id:14524)

Aichernig, Bernhard K., Boiten, Eerke Albert, Derrick, John, Groves, Lindsay (2007) Preface: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. Electronic Notes in Theoretical Computer Science, 187 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.040) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14565)

Boiten, Eerke Albert, Derrick, John (2007) Proceedings of the 11th Refinement Workshop (REFINE 2006)Macao, China 31 October 2006. Electronic Notes in Theoretical Computer Science, 187 . Elsevier, 188 pp. ISBN 15710661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:3372)

Derrick, John, Boiten, Eerke Albert (2007) Relational Concurrent Refinement with Internal Operations. Electronic Notes in Theoretical Computer Science, 187 . pp. 35-53. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.043) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14564)

Boiten, Eerke Albert and Derrick, John and Smith, Graeme (2007) Refine 2007 Participants' Proceedings. Technical report. University of Kent, Canterbury, Canterbury, Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14568)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2005) Editorial: Special issue on Integrated Formal Methods. Formal Aspects of Computing, 17 (4). ISSN 0934-5043. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14227)

Boiten, Eerke Albert, Derrick, John (2005) Proceedings of the REFINE 2005 Workshop. Electronic Notes in Theoretical Computer Science, 137 (2). pp. 1-242. ISSN 1571-0661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14337)

Boiten, Eerke Albert and Derrick, John (2005) Formal Program Development with Approximations. In: Treharne, Helen and King, Steve and Henson, Martin C. and Schneider, Steve A., eds. ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 374-392. ISBN 978-3-540-25559-8. E-ISBN 978-3-540-32007-4. (doi:10.1007/11415787_22) (KAR id:14341)

Derrick, John and Smith, Graeme (2004) Linear temporal logic and Z refinement. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 117-131. ISBN 978-3-540-22381-8. E-ISBN 978-3-540-27815-3. (doi:10.1007/b98770) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14126)

Boiten, Eerke Albert and Derrick, John and Smith, Graeme (2004) Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Technical report. University of Kent, Great Britain (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14174)

Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. (2004) Integrated Formal Methods 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany ISBN 978-3-540-21377-2. E-ISBN 978-3-540-24756-2. (doi:10.1007/b96106) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14194)

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. Integrated Formal Methods 4th International Conference. Lecture Notes in Computer Science . Springer, pp. 421-440. ISBN 978-3-540-21377-2. E-ISBN 978-3-540-24756-2. (doi:10.1007/978-3-540-24756-2_23) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14182)

Akehurst, David H., Waters, A. Gill, Derrick, John (2004) A Viewpoints Approach to Designing Group Based Applications. In: Unger, H., ed. Design, Analysis and Simulation of Distributed Systems 2004. Advanced Simulation Technologies Conference . pp. 83-93. , Arlington, Virginia (KAR id:14187)

Akehurst, David H., Derrick, John, Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, 19-21 Nov 2003, Paris, France. (KAR id:13884)

Boiten, Eerke Albert, Denvir, T., Derrick, John, von Wright, Joakim (2003) Editorial: Special Issue on Refinement. Formal Aspects of Computing, 15 (2). pp. 101-102. ISSN 0934-5043. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13889)

Derrick, John, Boiten, Eerke Albert (2003) Relational Concurrent Refinement. Formal Aspects of Computing, 15 (2-3). pp. 182-214. ISSN 0934-5043. (doi:10.1007/s00165-003-0007-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13890)

Bryans, Jeremy W., Bowman, Howard, Derrick, John (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. (doi:10.1145/937555.937558) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13898)

Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Addressing Computational Viewpoint Design. In: Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings. IEEE, pp. 147-158. ISBN 0-7695-1994-6. (doi:10.1109/EDOC.2003.1233845) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13919)

Boiten, Eerke Albert, Derrick, John (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617. (KAR id:13927)

Derrick, John, Smith, Graeme (2003) Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing, 15 (1). pp. 1-27. ISSN 0934-5043. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13948)

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2003) A UML approach to the design of open distributed systems. In: George, Chris and Miao, Huaikou, eds. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 561-572. ISBN 978-3-540-00029-7. E-ISBN 978-3-540-36103-9. (doi:10.1007/3-540-36103-0_56) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13708)

Derrick, John (2003) Timed CSP and Object-Z. In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds. ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, pp. 300-318. ISBN 978-3-540-40253-4. E-ISBN 978-3-540-44880-8. (doi:10.1007/3-540-44880-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13963)

Derrick, John and Wehrheim, Heike (2003) Using coupled simulations in non-atomic refinement. In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds. ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, pp. 127-147. ISBN 978-3-540-40253-4. E-ISBN 978-3-540-44880-8. (doi:10.1007/3-540-44880-2_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13964)

Arts, Thomas, Earle, Clara Benac, Derrick, John (2003) Development of a Verified Erlang Program for Resource Locking. Software Tools for Technology Transfer (STTT), 5 (2). pp. 205-220. ISSN 1433-2779. (doi:10.1007/s10009-003-0114-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13984)

Derrick, John and Boiten, Eerke Albert (2003) Recent advances in refinement. In: Borger, Egon and Gargantini, Angelo and Riccobene, Elvinia, eds. Abstract State Machines 2003 Advances in Theory and Practice 10th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 33-56. ISBN 978-3-540-00624-4. E-ISBN 978-3-540-36498-6. (doi:10.1007/3-540-36498-6_3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14003)

Akehurst, David and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany. ISBN 978-3-540-20491-6. E-ISBN 978-3-540-39958-2. (doi:10.1007/978-3-540-39958-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14014)

Boiten, Eerke Albert, Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:10.1016/S1571-0661(05)80488-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13766)

Smith, Graeme and Derrick, John (2002) Abstract Specification in Object-Z and CSP. In: George, Chris and Miao, Huaikou, eds. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 108-119. ISBN 978-3-540-00029-7. E-ISBN 978-3-540-36103-9. (doi:10.1007/3-540-36103-0_14) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13698)

Bordbar, Behzad, Derrick, John, Waters, A. Gill (2002) Using UML to specify QoS constraints in ODP. Computer Networks, 40 (2). pp. 279-304. ISSN 1389-1286. (doi:10.1016/S1389-1286(02)00255-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13721)

Akehurst, David H., Bordbar, Behzad, Derrick, John, Waters, A. Gill (2002) Design Support for Distributed Systems: DSE4DS. In: Finney, Joe and Haahr, Mads and Montressor, Alberto, eds. Procedings of the 7th Cabernet Radicals Workshop. . (KAR id:13718)

Derrick, John, Akehurst, David H., Boiten, Eerke Albert (2002) A framework for UML consistency. In: Kuzniarz, L. and Reggio, G. and Sourrouille, J.L. and Huzar, Z., eds. UML 2002 Workshop on Consistency Problems in UML-based Software Development. . pp. 30-45. (KAR id:13715)

Bowman, Howard, Steen, Maarten, Boiten, Eerke Albert, Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi:10.1023/A:1016000201864) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13730)

Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds. (2002) REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science, 70 . Elsevier Science Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13759)

Arts, Thomas and Earle, Clara Benac and Derrick, John (2002) Verifying Erlang code: a resource locker case-study. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. UNSPECIFIED LNCS, 2391 . Springer-Verlag, pp. 184-203. ISBN 3-540-43928-5. (doi:10.1007/3-540-45614-7_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13764)

Boiten, Eerke Albert, Derrick, John (2002) Integration of Specifications through Development Relations. In: Ehrig, Hartmut and Kramer, Berndt and Ertas, Atila, eds. Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology. . p. 8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13787)

Derrick, John, Boiten, Eerke Albert (2002) Combining Component specifications in Object-Z and CSP. Formal Aspects of Computing, 13 (Part 2). pp. 111-127. ISSN 0934-5043. (doi:10.1007/s001650200002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13794)

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings: Software, 149 (2). pp. 57-64. ISSN 1462-5970. (doi:10.1049/ip-sen:20020318) (KAR id:13801)

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) Interpreting ODP viewpoint specifications: Observations from a Case Study. In: Jacobs, Bart and Rensink, Arend, eds. Formal Methods for Open Object-Based Distributed Systems V. IFIP International Federation for Information Processings , 5. pp. 61-76. Kluwer Academic Publishers, Dordrecht ISBN 978-0-7923-7683-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13814)

Miarka, Ralph and Derrick, John and Boiten, Eerke Albert (2002) Handling Inconsistencies in Z using Quasi-Classical Logic. In: Berto, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds. ZB 2002:Formal Specification and Development in Z and B 2nd International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 204-225. ISBN 978-3-540-43166-4. E-ISBN 978-3-540-45648-3. (doi:10.1007/3-540-45648-1_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13830)

Miarka, Ralph (2002) Inconsistency and underdefinedness in Z specifications. Doctor of Philosophy (PhD) thesis, University of Kent. (doi:10.22024/UniKent/01.02.86002) (KAR id:86002)

Linington, Peter F. (2001) Distributed Systems, an ODP Perspective. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 18-35. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13535)

Linington, Peter F. (2001) Issues in Distributed Systems. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 3-17. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13534)

Bowman, Howard, Derrick, John (2001) Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, 480 pp. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13543)

Taylor, Chris and Boiten, Eerke Albert and Derrick, John (2001) Interpreting ODP Viewpoint Specification: Observations from a Case Study. Technical report. UKC, University of Kent at Canterbury, UK (KAR id:13546)

Bowman, Howard and Derrick, John (2001) Issues in Formal Methods (chapter 3). In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 18-35. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13554)

Bowman, Howard and Derrick, John (2001) Viewpoints Modelling. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 451-475. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13555)

Derrick, John, Boiten, Eerke Albert (2001) Refinement in Z and Object-Z: Foundations and Advanced Applications. Formal Approaches to Computing and Information Technology . Springer ISBN 1-85233-245-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13610)

Smith, Graeme, Derrick, John (2001) Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods in System Design, 18 (3). pp. 249-284. ISSN 0925-9856. (doi:10.1023/A:1011269103179) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13612)

Bowman, Howard, Bryans, Jeremy W., Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620. (doi:10.1093/comjnl/44.4.230) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13625)

Cole, James and Derrick, John and Milosevic, Zoran and Raymond, Kerry (2001) Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. In: Sloman, Morris and Lobo, Jorge and Lupu, Emil C., eds. Policies for Distributed Systems and Networks International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-17. ISBN 978-3-540-41610-4. E-ISBN 978-3-540-44569-2. (doi:10.1007/3-540-44569-2_1) (KAR id:13640)

Kent, Stuart (2001) The Unified Modeling Language. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, p. 126. ISBN 978-0-521-77184-9. (KAR id:13503)

Hierons, R., Derrick, John (2000) Editorial: Special issue on specification-based testing. Software Testing Verification & Reliability, 10 (4). pp. 201-202. ISSN 0960-0833. (doi:10.1002/1099-1689(200012)10:4<201::aid-stvr214>3.0.co;2-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16204)

Akehurst, David H. and Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report. n/a (KAR id:21927)

Derrick, John, Fincher, Sally (2000) Teaching Communication Protocols. Computer Science Education, 10 (3). pp. 195-202. ISSN 0899-3408. (doi:10.1076/0899-3408(200012)10:3;1-s;ft195) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21932)

Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods Second International Conference. Lecture Notes in Comuter Science . Springer, Berlin, Germany, pp. 176-193. ISBN 978-3-540-41196-3. E-ISBN 978-3-540-40911-3. (doi:10.1007/3-540-40911-4_11) (KAR id:21939)

Derrick, John and Smith, Graeme (2000) Structural refinement in Object-Z / CSP. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods Second International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 194-213. ISBN 978-3-540-41196-3. E-ISBN 978-3-540-40911-3. (doi:10.1007/3-540-40911-4_12) (KAR id:21935)

Bowman, Howard, Bryans, Jeremy W., Derrick, John (2000) Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21943)

Derrick, John (2000) A single complete refinement rule for Z. Journal of Logic and Computation, 10 (5). pp. 663-675. ISSN 0955-792X. (doi:10.1093/logcom/10.5.663) (KAR id:16369)

Steen, Maarten, Derrick, John (2000) ODP Enterprise Viewpoint Specification. Computer Standards and Interfaces, 22 (3). pp. 165-189. ISSN 0920-5489. (doi:10.1016/S0920-5489(00)00031-3) (KAR id:21983)

Derrick, John and Boiten, Eerke Albert (2000) Refinement of objects and operations in Object-Z. In: Smith, Scott F. and Talcott, Carolyn L., eds. Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 257-277. ISBN 978-1-4757-1018-2. E-ISBN 978-0-387-35520-7. (doi:10.1007/978-0-387-35520-7_13) (KAR id:21969)

Miarka, Ralph and Boiten, Eerke Albert and Derrick, John (2000) Guards, Preconditions, and Refinement in Z. In: Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve, eds. ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 286-303. ISBN 978-3-540-67944-8. E-ISBN 978-3-540-44525-8. (doi:10.1007/3-540-44525-0_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21990)

Boiten, Eerke Albert, Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286. (doi:10.1016/s1389-1286(00)00114-6) (KAR id:21992)

Bowman, Howard, Derrick, John, Brinksma, E. (2000) Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22006)

Boiten, Eerke Albert and Derrick, John (2000) Liberating data refinement. In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds. Mathematics of Program Construction 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 144-166. ISBN 978-3-540-67727-7. E-ISBN 978-3-540-45025-2. (doi:10.1007/10722010_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22003)

Bowman, Howard, Derrick, John, Brinksma, E. (2000) Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. ISSN 0098-5589. (doi:10.1109/TSE.2000.859528) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16156)

Bryans, Jeremy W. and Bowman, Howard and Derrick, John (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent (KAR id:22063)

Taylor, C. and Derrick, J. and Boiten, E. (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Third IEEE International Conference on Formal Engineering Methods. IEEE, pp. 177-185. ISBN 0-7695-0822-7. (doi:10.1109/ICFEM.2000.873818) (KAR id:21968)

Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ (KAR id:21731)

Steen, Maarten and Derrick, John (1999) Formalising ODP Enterprise Policies. In: Proceedings Third International Enterprise Distributed Object Computing. IEEE, pp. 84-93. ISBN 0-7803-5784-1. (doi:10.1109/EDOC.1999.792052) (KAR id:21770)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:10.1016/S0167-6423(99)00006-4) (KAR id:17100)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:10.1016/S0920-5489(99)00010-0) (KAR id:17284)

Derrick, John and Boiten, Eerke (1999) Specifying component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. Proceedings of the 1st International Conference on Integrated Formal Methods. Springer, London, UK, pp. 293-312. ISBN 978-1-85233-107-8. E-ISBN 978-1-4471-0851-1. (doi:10.1007/978-1-4471-0851-1_16) (KAR id:21814)

Bryans, Jeremy W., Derrick, John (1999) Stochastic specification and verification. In: 3rd Irish Workshop in Formal Methods. Electronic Workshops in Computing . Springer (KAR id:21797)

Derrick, John, Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50. (doi:10.1002/(sici)1099-1689(199903)9:1<27::aid-stvr172>3.3.co;2-2) (KAR id:21805)

Steen, Maarten and Derrick, John (1999) Applying the UML to the ODP Enterprise Viewpoint. Technical report. University of Kent at Canterbury (KAR id:21827)

Bowman, Howard, Boiten, Eerke Albert, Derrick, John, Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:10.1016/S0167-6423(98)00017-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17119)

Bowman, Howard and Derrick, John (1999) A Junction between State Based and Behavioural Specification. In: Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Robert, eds. Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). IFIP — The International Federation for Information Processing . Kluwer Academic, pp. 213-239. ISBN 978-1-4757-5266-3. E-ISBN 978-0-387-35562-7. (doi:10.1007/978-0-387-35562-7_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21871)

Derrick, John, Boiten, Eerke Albert (1999) Calculating upward and downward simulations of state-based specifications. Information and Software Technology, 41 (13). pp. 917-923. ISSN 0950-5849. (doi:10.1016/S0950-5849(99)00044-0) (KAR id:17282)

Steen, Maarten and Derrick, John and Boiten, Eerke Albert and Bowman, Howard (1999) Consistency of partial process specifications. In: Haeberer, A.M., ed. Algebraic Methodology and Software Technology 7th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 248-262. ISBN 978-3-540-65462-9. E-ISBN 978-3-540-49253-5. (doi:10.1007/3-540-49253-4_19) (KAR id:16653)

Derrick, John and Boiten, Eerke Albert (1999) Non-atomic refinement in Z. In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds. FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems. Lecture Notes In Computer Science, 2 . Springer-Verlag Berlin, Berlin, Germany, pp. 1477-1496. ISBN 978-3-540-66588-5. E-ISBN 978-3-540-48118-8. (doi:10.1007/3-540-48118-4_28) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17280)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s001650050007) (KAR id:21577)

Bowman, Howard, Bryans, Jeremy W., Derrick, John (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Priami, C., ed. Sixth International Workshop on Process Algebras and Performance Modelling. . pp. 51-69. , Nice (KAR id:21606)

Boiten, Eerke Albert and Derrick, John (1998) Grey Box Data Refinement. In: Grundy, J. and Schwenke, M. and Vickers, T., eds. International Refinement Workshop & Formal Methods Pacific 1998. Discrete Mathematics and Theoretical Computer Science . Springer, Heidelberg, Germany, pp. 45-59. ISBN 981-4021-16-4. (KAR id:21607)

Boiten, Eerke Albert, Derrick, John (1998) IO - refinement in Z. In: 3rd Northern Formal MethodsWorkshop,, 1998. (KAR id:21600)

Bolognesi, Tommaso, Derrick, John (1998) Constraint-oriented style for object-oriented formal specification. IEE Proceedings: Software, 145 (2-3). pp. 61-69. ISSN 1462-5970. (doi:10.1049/ip-sen:19986907) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21669)

Derrick, John and Boiten, Eerke Albert (1998) Testing refinements by refining tests. In: Bowen, Jonathan P. and Fett, A. and Hinchey, Michael G., eds. ZUM ’98: The Z Formal Specification Notation 11th International Conference of Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 265-283. ISBN 978-3-540-65070-6. E-ISBN 978-3-540-49676-2. (doi:10.1007/978-3-540-49676-2_19) (KAR id:17694)

Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A. (1997) Disjunction of LOTOS specifications. In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 177-192. ISBN 978-1-4757-5260-1. E-ISBN 978-0-387-35271-8. (doi:10.1007/978-0-387-35271-8_11) (KAR id:21439)

Smith, Graeme and Derrick, John (1997) Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, Michael G. and Liu, Shaoying, eds. First IEEE International Conference on Formal Engineering Methods. IEEE, pp. 293-302. ISBN 0-8186-8002-4. (doi:10.1109/ICFEM.1997.630436) (KAR id:21436)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 644-664. ISBN 978-3-540-63533-8. E-ISBN 978-3-540-69593-6. (doi:10.1007/3-540-63533-5_34) (KAR id:21452)

+1 more...

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1997) Coupling schemas: data refinement and view(point) composition. In: Duke, David J. and Evans, A.S., eds. Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. . Springer (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21472)

UNSPECIFIED (1997) FMOODS'97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21476)

Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology, 2 . Springer, Boston, Massachusetts, USA, pp. 335-351. ISBN 978-1-5041-2952-7. E-ISBN 978-0-387-35261-9. (doi:10.1007/978-0-387-35261-9_23) (KAR id:21473)

+1 more...

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 Jul 1997, Ilkley, England. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21474)

Bowman, Howard and Derrick, John (1997) Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 382-399. ISBN 978-3-540-63010-4. E-ISBN 978-3-540-69058-0. (doi:10.1007/3-540-63010-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21500)

Fernandes, G.P.A. and Derrick, J. (1997) Formal Specification and Testing of a Management Architecture. In: Lazar, Aurel and Saracco, Roberto and Stadler, Rolf, eds. Integrated Network Management V Integrated management in a virtual world Proceedings of the Fifth IFIP/IEEE International Symposium on Integrated Network Management. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 473-484. ISBN 978-1-4757-5519-0. E-ISBN 978-0-387-35180-3. (doi:10.1007/978-0-387-35180-3_35) (KAR id:21505)

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Weak refinement in Z. In: Bowen, Jonathan P. and Hinchey, Michael G. and Till, David, eds. ZUM '97: The Z Formal Specification Notation 10th International Conference of Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 369-388. ISBN 978-3-540-62717-3. E-ISBN 978-3-540-68490-9. (doi:10.1007/BFb0027298) (KAR id:21516)

+1 more...

Bowman, Howard and Derrick, John (1997) Extending LOTOS with time: A true concurrency perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, A. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 383-399. ISBN 978-3-540-63010-4. E-ISBN 978-3-540-69058-0. (doi:10.1007/3-540-63010-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18303)

Derrick, John, Bowman, Howard, Boiten, Eerke Albert, Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI. . pp. 501-516. Chapman & Hall, Kaiserslautern, Germany ISBN 0-412-79490-X. (doi:10.1007/978-0-387-35079-0_32) (KAR id:21330)

Fernandes, G.P.A. and Derrick, John (1996) Formal Specification of Distributed Services Management. In: Spaniol, Otto and Linnhoff-Popien, Claudia and Meyer, Bernd, eds. Trends in Distributed Systems' 96. Verlag der Augustinus Buchhandlung, Aachen, Germany, pp. 182-196. ISBN 3-86073-473-3. (KAR id:21332)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G., eds. Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. ACM, New York, USA, pp. 162-166. ISBN 0-89791-867-3. (doi:10.1145/243327.243639) (KAR id:21329)

Linington, Peter F., Derrick, John, Bowman, Howard (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems. . pp. 93-114. Chapman & Hall, Darmstadt, Germany (KAR id:21340)

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: Gaudel, M.C. and Woodcock, Jim, eds. FME'96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 287-306. ISBN 978-3-540-60973-5. E-ISBN 978-3-540-49749-3. (doi:10.1007/3-540-60973-3_93) (KAR id:21388)

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.W.A. (1996) Supporting ODP - Translating LOTOS to Z. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 399-406. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_29) (KAR id:21389)

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A. (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 189-204. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_14) (KAR id:21386)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21396)

Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. (doi:10.1049/sej.1996.0005) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18834)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21223)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. . pp. 73-85. Stichting Mathematisch Centrum, Amsterdam ISBN 90-6196-460-1. (KAR id:21226)

Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (doi:10.1016/0920-5489(95)00021-L) (KAR id:21243)

Bowman, Howard and Derrick, John (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: Sarikaya, Behcet and Saito, Senro, eds. Proceedings of the International Conference on Multimedia Networking: MmNet '95. IEEE, pp. 173-182. ISBN 0-8186-7090-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21237)

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (KAR id:21245)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK (KAR id:21256)

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (doi:10.1007/978-0-387-34882-7_32) (KAR id:21280)

Bowman, Howard, Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED. (doi:10.1145/315891.315941) (KAR id:21281)

Bowman, Howard, Derrick, John, Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (doi:10.1007/978-0-387-34882-7_31) (KAR id:21276)

Steen, Maarten, Bowman, Howard, Derrick, John (1995) Composition of LOTOS specifications. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21289)

Bowman, Howard and Derrick, John (1994) Towards a Formal Model of Consistency in ODP. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (KAR id:21202)

Bowman, Howard, Derrick, John, Jones, Richard E. (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94. . (KAR id:21211)

Derrick, John and Sultana, R. (1993) The Specification in Z of the REX Protocol. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (KAR id:21089)