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

Group by: Item Type | Date | No Grouping

2012 2011 2010 2009 2008 2004 2003 2002

Number of items: 16.

2012

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, Online (1). pp. 1-13. ISSN 0934-5043. The full text of this publication is not available from this repository.

2011

Derrick, John and Boiten, Eerke (2011) Relational Concurrent Refinement: Timed Refinement. In: UNSPECIFIED. The full text of this publication is not available from this repository.

2010

Boiten, Eerke and Derrick, John (2010) Incompleteness of Relational Simulations in the Blocking Paradigm. Science of Computer Programming, 75 . pp. 182-196. ISSN 0167-6423. 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. The full text of this publication is not available from this repository.

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.

2009

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.

2008

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.

2004

Boiten, Eerke (2004) Input/Output Abstraction of State Based Systems. Technical report. University of Kent

Preview

Preview

Boiten, Eerke (2004) Travelling Salesman Heuristics: Exercises in Haskell. Technical report. University of Kent

Preview

Preview

Boiten, Eerke (2004) Turtle Graphics: Exercises in Haskell. Technical report. University of Kent

Preview

Preview

2003

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.

2002

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.

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.

Preview

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 Tue Jun 18 09:22:13 2013 BST.