Comparative Metric Semantics of Programming Languages

Nondeterminism and Recursion

Authors:

ISBN: 978-1-4612-8680-6 (Print) 978-1-4612-4160-7 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xix

  2. Introduction

    1. No Access

      Book Chapter

      Pages 1-8

      Introduction

  3. Part I

    1. Front Matter

      Pages 9-9

    2. No Access

      Book Chapter

      Pages 11-17

      Domain equations

    3. No Access

      Book Chapter

      Pages 19-49

      Linear and branching domains

  4. Part II

    1. Front Matter

      Pages 51-51

    2. No Access

      Book Chapter

      Pages 53-78

      Operational semantics

    3. No Access

      Book Chapter

      Pages 79-96

      Nondeterministic choice

    4. No Access

      Book Chapter

      Pages 97-115

      Random assignment

  5. Part III

    1. Front Matter

      Pages 117-117

    2. No Access

      Book Chapter

      Pages 119-148

      Generalized finiteness conditions

    3. No Access

      Book Chapter

      Pages 149-164

      Dense choice

    4. No Access

      Book Chapter

      Pages 165-191

      Second order communication

  6. Back Matter

    Pages 193-220