Book Volume 9360 2015

Correct System Design

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Editors:

ISBN: 978-3-319-23505-9 (Print) 978-3-319-23506-6 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages I-XII

  2. Laudationes

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-4

      From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog

    3. No Access

      Chapter

      Pages 5-9

      Ernst-Rüdiger Olderog: A Life for Meaning

    4. No Access

      Chapter

      Pages 10-11

      Warmest Congratulations, Ernst-Rüdiger!

  3. Semantics

    1. Front Matter

      Pages 13-13

    2. No Access

      Chapter

      Pages 15-32

      Understanding Probabilistic Programs

    3. No Access

      Chapter

      Pages 33-43

      Fairness for Infinitary Control

    4. No Access

      Chapter

      Pages 44-61

      Evaluation Trees for Proposition Algebra

  4. Process Algebra

    1. Front Matter

      Pages 63-63

    2. No Access

      Chapter

      Pages 65-82

      On Applicative Similarity, Sequentiality, and Full Abstraction

    3. No Access

      Chapter

      Pages 83-98

      Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

    4. No Access

      Chapter

      Pages 99-130

      Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

  5. Logic

    1. Front Matter

      Pages 131-131

    2. No Access

      Chapter

      Pages 133-151

      Translating Testing Theories for Concurrent Systems

    3. No Access

      Chapter

      Pages 152-171

      No Need Knowing Numerous Neighbours

    4. No Access

      Chapter

      Pages 172-188

      Automated Reasoning Building Blocks

  6. Analysis

    1. Front Matter

      Pages 189-189

    2. No Access

      Chapter

      Pages 191-204

      Being and Change: Reasoning About Invariance

    3. No Access

      Chapter

      Pages 205-220

      Toward Compact Abstractions for Processor Pipelines

  7. Synthesis

    1. Front Matter

      Pages 221-221

    2. No Access

      Chapter

      Pages 223-237

      Bounded Synthesis for Petri Games

    3. No Access

      Chapter

      Pages 238-259

      Mediator Synthesis in a Component Algebra with Data

    4. No Access

      Chapter

      Pages 260-277

      Safe and Optimal Adaptive Cruise Control

  8. Back Matter

    Pages 279-279