Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 143.
Article
| Boiten, Eerke Albert (2016) Big Data Refinement. Electronic Proceedings in Theoretical Computer Science, 209 . pp. 17-23. ISSN 2075-2180. E-ISSN 2075-2180. (doi:https://doi.org/10.4204/EPTCS.209.2) (Full text available) |
|
| Derrick, John and 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:https://doi.org/10.1007/s00165-012-0262-3) (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. (doi:https://doi.org/10.1016/j.csi.2011.10.015) (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John and Dong, Jin Song and Reeves, Steve (2012) Editorial: Special issue on Refine 2009. Formal Aspects of Computing, 24 (1). pp. 182-196. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-011-0220-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) |
| Boiten, Eerke Albert and Derrick, John and 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:https://doi.org/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) |
| Boiten, Eerke Albert and Derrick, John (2010) Incompleteness of Relational Simulations in the Blocking Paradigm. Science of Computer Programming, 75 (12). pp. 1262-1269. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2010.07.003) (Full text available) |
|
| Boiten, Eerke Albert and Butler, Michael and Derrick, John and Smith, Graeme (2010) Editorial: Special issue on REFINE 2007. Formal Aspects of Computing, 22 (1). pp. 182-196. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-009-0147-2) (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) |
| Boiten, Eerke Albert and Derrick, John and Reeves, Steve (2009) Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2009.12.013) (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) |
| Derrick, John and Boiten, Eerke Albert (2009) Relational Concurrent Refinement: Automata. Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2009.12.015) (Full text available) |
|
| Aichernig, Bernhard K. and Boiten, Eerke Albert and Butler, Michael and Derrick, John and Groves, Lindsay (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. (doi:https://doi.org/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) |
| Boiten, Eerke Albert and Derrick, John and Schellhorn, Gerhard (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . ISSN 1571-0661. (doi:https://doi.org/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) |
| Derrick, John and 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:https://doi.org/10.1016/j.entcs.2008.06.012) (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John and Smith, Graeme (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . 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) |
| Boiten, Eerke Albert and Derrick, John and 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:https://doi.org/10.1007/s00165-007-0066-z) (Full text available) |
|
| Aichernig, Bernhard K. and Boiten, Eerke Albert and Derrick, John and 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:https://doi.org/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) |
| Derrick, John and Boiten, Eerke Albert (2007) Relational Concurrent Refinement with Internal Operations. Electronic Notes in Theoretical Computer Science, 187 . pp. 35-53. ISSN 1571-0661. (doi:https://doi.org/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) |
| Boiten, Eerke Albert and Derrick, John and 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) |
| Boiten, Eerke Albert and 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) |
| Boiten, Eerke Albert and Denvir, T. and Derrick, John and 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) |
| Derrick, John and Boiten, Eerke Albert (2003) Relational Concurrent Refinement. Formal Aspects of Computing, 15 (2-3). pp. 182-214. 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) |
| Bryans, Jeremy W. and Bowman, Howard and Derrick, John (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. (doi:https://doi.org/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) |
| Boiten, Eerke Albert and 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. (Full text available) |
|
| Derrick, John and 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) |
| Arts, Thomas and Earle, Clara Benac and 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:https://doi.org/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) |
| Boiten, Eerke Albert and Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:https://doi.org/10.1016/S1571-0061(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) |
| Bordbar, Behzad and Derrick, John and Waters, A. Gill (2002) Using UML to specify QoS constraints in ODP. Computer Networks, 40 (2). pp. 279-304. ISSN 1389-1286. (doi:https://doi.org/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) |
| Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi:https://doi.org/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) |
| Derrick, John and 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:https://doi.org/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) |
| Taylor, Chris and Boiten, Eerke Albert and 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:https://doi.org/10.1049/ip-sen:20020318) (Full text available) |
|
| Smith, Graeme and 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:https://doi.org/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) |
| Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620. (doi:https://doi.org/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) |
| Hierons, R. and Derrick, John (2000) Editorial: Special issue on specification-based testing. Software Testing Verification & Reliability, 10 (4). pp. 201-202. ISSN 0960-0833. (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) |
| Derrick, John and Fincher, Sally (2000) Teaching Communication Protocols. Computer Science Education, 10 (3). pp. 195-202. ISSN 0899-3408. (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) |
| Derrick, John (2000) A single complete refinement rule for Z. Journal of Logic and Computation, 10 (5). pp. 663-675. ISSN 0955-792X. (doi:https://doi.org/10.1093/logcom/10.5.663) (Full text available) |
|
| Steen, Maarten and Derrick, John (2000) ODP Enterprise Viewpoint Specification. Computer Standards and Interfaces, 22 (3). pp. 165-189. ISSN 0920-5489. (doi:https://doi.org/10.1016/S0920-5489(00)00031-3) (Full text available) |
|
| Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286. (Full text available) |
|
| Bowman, Howard and Derrick, John and 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) |
| Bowman, Howard and Derrick, John and 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:https://doi.org/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) |
| Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(99)00006-4) (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:https://doi.org/10.1016/S0920-5489(99)00010-0) (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50. (Full text available) |
|
| Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:https://doi.org/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) |
| Derrick, John and 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:https://doi.org/10.1016/S0950-5849(99)00044-0) (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and 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:https://doi.org/10.1007/s001650050007) (Full text available) |
|
| Bolognesi, Tommaso and Derrick, John (1998) Constraint-oriented style for object-oriented formal specification. IEE Proceedings: Software, 145 (2-3). pp. 61-69. ISSN 1462-5970. (doi:https://doi.org/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) |
| Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. (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) |
| Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (doi:https://doi.org/10.1016/0920-5489(95)00021-L) (Full text available) |
|
Book section
| Derrick, John and Boiten, Eerke Albert (2016) Relational Concurrent Refinement - partial and total frameworks. In: Petre, Luigia and Sekerinski, Emil, eds. From Action Systems to Distributed Systems: The Refinement Approach. Taylor and Francis, Florida, USA, pp. 143-154. ISBN 978-1-4987-0158-7. (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) |
| 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, 6286 . Springer, pp. 250-271. ISBN 978-3-642-17070-6. E-ISBN 978-3-642-17071-3. (doi:https://doi.org/10.1007/978-3-642-17071-3_13) (Full text available) |
|
| 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) |
| 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) |
| 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) |
| 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) |
| 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. (Full text available) |
|
Monograph
| Lamela Seijas, Pablo and Thompson, Simon and Taylor, Ramsay and Bogdanov, Kirill and Derrick, John (2014) Synapse: automatic behaviour inference and implementation comparison for Erlang. Technical report. University of Kent (Unpublished) (Full text available) |
|
| 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) |
| 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) |
| Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. Technical report. University of Kent https://doi.org/10.1007/978-3-540-39958-2_19. (doi:https://doi.org/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) |
| 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 (Full text available) |
|
| 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 (Full text available) |
|
| Bryans, Jeremy W. and Bowman, Howard and Derrick, John (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent (Full text available) |
|
| 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 (Full text available) |
|
| Steen, Maarten and Derrick, John (1999) Applying the UML to the ODP Enterprise Viewpoint. Technical report. University of Kent at Canterbury (Full text available) |
|
| 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 (Full text available) |
|
| 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 (Full text available) |
|
| 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 (Full text available) |
|
| 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 (Full text available) |
|
| 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 (Full text available) |
|
Conference or workshop item
| 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:https://doi.org/10.4204/EPTCS.55.10) (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert (2011) Relational Concurrent Refinement: Timed Refinement. In: Formal Techniques for Distributed Systems, June 2011, Reykjavik. (doi:https://doi.org/10.1007/978-3-642-21461-5â??) (Full text available) |
|
| Chung, W.M. and Howells, Gareth and McDonald-Maier, Klaus D. and Hopkins, Andrew B.T. and Arslan, Tughrul and 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) |
| Boiten, Eerke Albert and Derrick, John (2009) Modelling divergence in Relational Concurrent Refinement. In: Leuschel, Michael and Wehrheim, Heike, eds. IFM 2009: Integrated Formal Methods. LNCS, 5423. Springer Verlag, Berlin Germany pp. 183-199. ISBN 978-3-642-00254-0. (doi:https://doi.org/10.1007/978-3-642-00255-7<sub>1</sub>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) |
| 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. Lecture Notes in Computer Science. ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users. Lecture Notes in Computer Science, 3455. Springer-Verlag Berlin pp. 374-392. ISBN 3-540-25559-1. (doi:https://doi.org/10.1007/11415787_22) (Full text available) |
|
| 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 (AMAST 2004). Lecture Notes in Computer Science, 3116. Springer pp. 117-131. ISBN 3-540-22381-9. (doi:https://doi.org/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) |
| 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, IFM 2004. Springer pp. 421-440. ISBN 3-540-21377-5. (doi:https://doi.org/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) |
| Akehurst, David H. and Waters, A. Gill and 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. , Arlington, Virginia pp. 83-93. (Full text available) |
|
| Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. In: Najm, Elie and Nestmann, Uwe and Stevens, Perdita, eds. FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. Lecture Notes in Computer Science, 2884. Springer pp. 276-292. ISBN 3-540-20491-1. (Full text available) |
|
| Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Addressing Computational Viewpoint Design. In: Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003. IEEE Computer Society, Brisbane, Australia pp. 147-158. ISBN 0-7695-1994-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) |
| 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. Lecture Notes in Computer Science, 2495. Springer pp. 561-572. ISBN 978-3-540-00029-7. (doi:https://doi.org/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) |
| Derrick, John (2003) Timed CSP and Object-Z. In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds. ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science, 2651. Springer-Verlag pp. 300-318. ISBN 3-540-40253-5. (doi:https://doi.org/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) |
| 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. Lecture Notes in Computer Science, 2651. Springer pp. 127-147. ISBN 3-540-40253-5. (doi:https://doi.org/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) |
| 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. Lecture Notes in Computer Science, 2589 (2589). Springer Berlin Heidelberg pp. 33-56. ISBN 3-540-00624-9. (doi:https://doi.org/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) |
| 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. Lecture Notes in Computer Science, 2495. Springer, Berlin pp. 108-119. ISBN 3-540-00029-1. (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) |
| Akehurst, David H. and Bordbar, Behzad and Derrick, John and 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. (Full text available) |
|
| Derrick, John and Akehurst, David H. and 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. (Full text available) |
|
| 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. In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark. LNCS, 2391. Springer-Verlag pp. 184-203. ISBN 3-540-43928-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) |
| Boiten, Eerke Albert and 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) |
| Taylor, Chris and Boiten, Eerke Albert and 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. Kluwer Academic Publishers, Dordrecht pp. 61-76. 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) |
| 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. ZB2002: Formal Specification and Development in Z and B / Second International Conference of B and Z Users. Lecture Notes in Computer Science, 2272. Springer-Verlag Berlin Heidelberg, Grenoble, France pp. 204-225. ISBN 3-540-43166-7. (doi:https://doi.org/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) |
| 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. Lecture Notes in Computer Science, 1995. Springer-Verlag pp. 1-17. ISBN 3-540-41610-2. (Full text available) |
|
| 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 (IFM 2000). Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8. (Full text available) |
|
| 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 (IFM 2000). Lecture Notes in Computer Science, 1945. Springer pp. 194-213. ISBN 3-540-41196-8. (Full text available) |
|
| Bowman, Howard and Bryans, Jeremy W. and 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) |
| 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. Kluwer Academic Publishers pp. 257-277. ISBN 0-7923-7923-3. (Full text available) |
|
| 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. ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users. Lecture Notes in Computer Science, 1878. Springer-Verlag Berlin pp. 286-303. ISBN 354067948. (doi:https://doi.org/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) |
| Boiten, Eerke Albert and Derrick, John (2000) Liberating data refinement. In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds. Mathematics of Program Construction. Lecture Notes in Computer Science, 1837. Springer pp. 144-166. ISBN 3-540-67727-5. (doi:https://doi.org/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) |
| Taylor, Chris and Derrick, John and Boiten, Eerke Albert (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on. IEEE pp. 177-185. ISBN 0-7695-0822-7. (doi:https://doi.org/10.1109/ICFEM.2000.873818) (Full text available) |
|
| Steen, Maarten and Derrick, John (1999) Formalising ODP Enterprise Policies. In: 3rd International Enterprise Distributed Object Computing Conference (EDOC '99). IEEE Publishing pp. 84-93. ISBN 0-7803-5784-1. (doi:https://doi.org/10.1109/EDOC.1999.792052) (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert (1999) Separating component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. International Conference on Integrated Formal Methods 1999 (IFM'99). Springer pp. 293-312. ISBN 18523310710. (Full text available) |
|
| Bryans, Jeremy W. and Derrick, John (1999) Stochastic specification and verification. In: 3rd Irish Workshop in Formal Methods. Electronic Workshops in Computing. Springer (Full text available) |
|
| 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. Kluwer pp. 213-239. ISBN 0-7923-8429-6. (doi:https://doi.org/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) |
| 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 (AMAST '98). http://dx.doi.org/10.1007/3-540-49253-4_19, 1548. Springer-Verlag Berlin pp. 248-262. ISBN 3-540-65462-3. (doi:https://doi.org/10.1007/3-540-49253-4_19) (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert (1999) Non-atomic refinement in Z. In: 1st World Congress on Formal Methods in the Development of Computing Systems (FM 99), SEP 20-24, 1999, Toulouse, France. (doi:https://doi.org/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) |
| Bowman, Howard and Bryans, Jeremy W. and 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. , Nice pp. 51-69. (Full text available) |
|
| 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 '98. Discrete Mathematics and Theoretical Computer Science. Springer-Verlag, Canberra pp. 45-59. ISBN 981-4021-16-4. (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John (1998) IO - refinement in Z. In: 3rd Northern Formal MethodsWorkshop,, 1998. (Full text available) |
|
| 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. Lecture Notes in Computer Science, 1493. Springer, Berlin pp. 265-283. ISBN 3-540-65070-9. (Full text available) |
|
| Steen, Maarten and Bowman, Howard and Derrick, John and Boiten, Eerke Albert (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: FORTE X / PSTV XVII '97. Chapman & Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9. (Full text available) |
|
| 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 (ICFEM ''97). IEEE Computer Society, Hiroshima, Japan pp. 293-302. ISBN 0-8186-8002-4. (Full text available) |
|
| 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. Lecture Notes in Computer Science. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science, 1313. Springer-Verlag Berlin pp. 644-664. ISBN 3-540-63533-5. (doi:https://doi.org/10.1007/3-540-63533-5_34) (Full text available) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/other.png)
|
| Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1997) Coupling schemas: data refinement and view(point)composition. In: Duke, David J. and Evans, A.S., eds. BCS-FACS Northern formal methods Workshop. Workshops in Computing, 2. Springer-Verlag ISBN 3-540-76215-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) |
| 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) |
| Bowman, Howard and Briscoe-Smith, C. and Derrick, John and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4. (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Translating LOTOS to Object-Z. In: Duke, David J. and Evans, A.S., eds. 2nd BCS-FACS Northern Formal Methods Workshop. Workshops in Computing. Springer-Verlag ISBN 3-540-76215-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) |
| Bowman, Howard and Derrick, John (1997) Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, Miquel and Rus, Teodor, eds. ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software. Lecture Notes in Computer Science, 1231. Springer-Verlag pp. 382-399. ISBN 3-540-63010-4. (doi:https://doi.org/10.1007/3-540-63010-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) |
| Fernandes, G.P.A. and Derrick, John (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. 5th IFIP/IEEE International Symposium on Integrated Network Management. Chapman & Hall, 2-6 Boundary Row, London, England Se1 8hn, San Diego, California, USA pp. 473-484. ISBN 0-412-80960-5. (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Weak refinement in Z. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. (doi:https://doi.org/10.1007/BFb0027298) (Full text available) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
|
| 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. Lecture Notes In Computer Science, 1231. Springer-Verlag, Berlin, Germany pp. 383-399. ISBN 3-540-63010-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) |
| Derrick, John and Bowman, Howard and Boiten, Eerke Albert and 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. Chapman & Hall, Kaiserslautern, Germany pp. 501-516. ISBN 0-412-79490-X. (Full text available) |
|
| 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. 96-103. ISBN 3-86073-473-3. (Full text available) |
|
| 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. ISAW '96 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 pp. 162-166. ISBN 0-89791-867-3. (Full text available) |
|
| Linington, Peter F. and Derrick, John and Bowman, Howard (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems. Chapman & Hall, Darmstadt, Germany pp. 93-114. (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, Paris pp. 399-406. ISBN 0-412-79770-4. (Full text available) |
|
| Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall pp. 189-204. ISBN 0-412-79770-4. (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. Stichting Mathematisch Centrum, Amsterdam pp. 73-85. ISBN 90-6196-460-1. (Full text available) |
|
| Bowman, Howard and Derrick, John (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: Sarikaya, Behcet and Saito, Senro, eds. MMNet'95, International Conference on Multimedia and Networking. IEEE Computer Society Press 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) |
| Derrick, John and Bowman, Howard and Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (Full text available) |
|
| Derrick, John and Bowman, Howard and Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (Full text available) |
|
| Bowman, Howard and Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED. (Full text available) |
|
| Bowman, Howard and Derrick, John and Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (Full text available) |
|
| Steen, Maarten and Bowman, Howard and 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) |
| Bowman, Howard and Derrick, John and Jones, Richard E. (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94. (Full text available) |
|
Book
| Derrick, John and 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:https://doi.org/10.1007/978-1-4471-5355-9) (Full text available) |
|
| Bowman, Howard and 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) |
| Derrick, John and 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) |
Edited book
| Boiten, Eerke Albert and Derrick, John and Reeves, Steve, eds. (2015) Proceedings 17th International BCS-FACS Refinement Workshop. Electronic Proceedings in Theoretical Computer Science . Electronic Proceedings in Theoretical Computer Science ISBN 20752180. (Submitted) (doi:https://doi.org/10.4204/EPTCS) (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) |
| Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2013) Proceedings of the 16th International BCS-FASCS Refinement Workshop, Turku. Electronic Proceedings in Theoretical Computer Science . Electronic Proceedings in Theoretical Computer Science ISBN 20752180. (doi:https://doi.org/10.4204/EPTCS.115) (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) |
| Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2011) Proceedings 15th International Refinement Workshop. Electronic Proceedings in Theoretical Computer Science, 55 . EPTCS ISBN 20752180. (doi:https://doi.org/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) |
| 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) |
| Aichernig, Bernhard K. and Boiten, Eerke Albert and Derrick, John and Groves, Lindsay, eds. (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) |
| Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. (2004) Integrated Formal Methods, 4th International Conference. Lecture Notes in Computer Science, 2999 . Springer-Verlag ISBN 3-540-21377-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) |
| 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) |
