Skip to main content
SpringerLink
Log in

Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Steve Dunne

    1. School of Computing, University of Teesside, Middlesbrough, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bill Stoddart

    1. University of Teesside,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4010)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: UTP 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Retrospective and Prospective for Unifying Theories of Programming

    • Eric Hehner
    Pages 1-17

  3. Object-Orientation in the UTP

    • Thiago Santos, Ana Cavalcanti, Augusto Sampaio
    Pages 18-37

  4. CSP Is a Retract of CCS

    • Jifeng He, Tony Hoare
    Pages 38-62

  5. A Design-Based Model of Reversible Computation

    • Bill Stoddart, Frank Zeyda, Robert Lynas
    Pages 63-83

  6. An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)

    • Jim Woodcock
    Pages 84-84

  7. Constructing Property-Oriented Models for Verification

    • Jifeng He, Shengchao Qin, Adnan Sherif
    Pages 85-100

  8. A Relational Investigation of UTP Designs and Prescriptions

    • Moshe Deutsch, Martin C. Henson
    Pages 101-122

  9. Unifying Theories in ProofPower-Z

    • Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
    Pages 123-140

  10. Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe

    • Ian J. Hayes
    Pages 141-154

  11. Hierarchical Organisation of Predicate-Semantic Models

    • Yifeng Chen
    Pages 155-172

  12. Unifying Probability

    • Jifeng He, J. W. Sanders
    Pages 173-199

  13. Pointers and Records in the Unifying Theories of Programming

    • Ana Cavalcanti, Will Harwood, Jim Woodcock
    Pages 200-216

  14. Mechanising a Unifying Theory

    • Gift Nuka, Jim Woodcock
    Pages 217-235

  15. Modal Design Algebra

    • Walter Guttmann, Bernhard Möller
    Pages 236-256

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Unifying Theories of Programming

Keywords

Editors and Affiliations

  • School of Computing, University of Teesside, Middlesbrough, UK

    Steve Dunne

  • University of Teesside,  

    Bill Stoddart

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation