2001

  • Laksono Adhianto, Michael Leuschel
    Strategy for Improving Memory Locality Reuse and Exploiting Hidden Parallelism.
    In Proceedings of ISSM, 2001.
    • Hugh Glaser, Pieter H. Hartel, Michael Leuschel, Andrew Martin
      Declarative Languages in Education.
      In Encyclopaedia of Microcomputers, 27, Marcel Dekker Inc, 79--102, 2001.
    • Michael Leuschel
      Design and Implementation of the High-Level Specification Language CSP(LP).
      In PADL, Lecture Notes in Computer Science, 1990, Springer, 14--28, 2001.
    • Michael Leuschel, Laksono Adhianto, Michael Butler, Carla Ferreira, Leonid Mikhailov
      Animation and Model Checking of CSP and B using Prolog Technology.
      In Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic, Michael Leuschel and Andreas Podelski and C.R. Ramakrishnan and Ulrich Ultes-Nitsche, 97--109, 2001.
      • Michael Leuschel, Thierry Massart, Andrew Currie
        How to make FDR Spin: LTL model checking of CSP using Refinement.
        In Proceedings FME'2001, J.N. Oliviera, P. Zave, Springer-Verlag, 99--118, 2001.
      • Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001.
        In Michael Leuschel and Andreas Podelski and C.R. Ramakrishnan and Ulrich Ultes-Nitsche, 2001.
        • Michael Leuschel, Ivan Wolton, Thierry Massart, Laksono Adhianto
          Temporal Logic Model Checking of CSP: Tools and Techniques.
          In AVoCS 2001, David Nowak, Oxford University Computing Laboratory, 2001.
          • Stefan Hallerstede
            Performance-Oriented Refinement.
            PhD Thesis, Electronics and Computer Science, University of Southampton, 2001.