Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 16.

Article

Boiten, Eerke 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. (The full text of this publication is not available from this repository)

Boiten, Eerke (2012) Introducing extra operations in refinement. Formal Aspects of Computing (1). pp. 1-13. ISSN 0934-5043. (Full text available)
[img]
Preview

Boiten, Eerke and Derrick, John (2010) Incompleteness of Relational Simulations in the Blocking Paradigm. Science of Computer Programming, 75 (12). pp. 1262-1269. ISSN 0167-6423. (Full text available)
[img]
Preview

Boiten, Eerke 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. (The full text of this publication is not available from this repository)

Boiten, Eerke 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. (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke (2009) Relational Concurrent Refinement: Automata. Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Boiten, Eerke and Grundy, Dan (2008) Reduction and refinement. Electronic Notes in Theoretical Computer Science, 201C . pp. 31-44. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Boiten, E.A. and Derrick, J. (2002) Unifying concurrent and relational refinement. Electronic notes in theoretical computing, 70 (3). pp. 94-131. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Monograph

Boiten, Eerke (2004) Input/Output Abstraction of State Based Systems. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke (2004) Travelling Salesman Heuristics: Exercises in Haskell. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke (2004) Turtle Graphics: Exercises in Haskell. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Derrick, John and Boiten, Eerke (2011) Relational Concurrent Refinement: Timed Refinement. In: Formal Techniques for Distributed Systems, June 2011, Reykjavik. (The full text of this publication is not available from this repository)

Boiten, Eerke and Grundy, Dan (2010) The Logic of Large Enough. In: MPC 2010: Mathematics of Program Construction. (Full text available)
[img]
Preview

Boiten, Eerke and De Roever, Willem-Paul (2003) Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. In: 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7). (The full text of this publication is not available from this repository)

Boiten, Eerke (2002) Integrating Specifications: Development Relations and Correspondences. In: Ehrig, Hartmut and Grosse-Rhode, Martin, eds. Integration of software specification techniques. International workshop No2, Grenoble , FRANCE. INIST-CNRS p. 8. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke (2002) Loose Specification and Refinement in Z. In: Bert, D. and Bowen, J.P. and Henson, M.C. and Robinson, K., eds. ZB 2002:Formal Specification and Development in Z and B. Lecture Notes in Computer Science, 2272. Springer, Grenoble, France pp. 226-241. ISBN 3-540-43166-7. (The full text of this publication is not available from this repository)

This list was generated on Fri Apr 18 09:43:32 2014 BST.