Amazon cover image
Image from Amazon.com

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 / Roland Meyer, André Platzer, Heike Wehrheim (eds.).

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 9360. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham : Springer, 2015Description: 1 online resource (viii, 270 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319235066
  • 3319235060
  • 3319235052
  • 9783319235059
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 004.01/51 23
LOC classification:
  • QA76.9.F67
Online resources:
Contents:
Intro; Preface; Organization; Contents; Laudationes; From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog; Ernst-Rüdiger Olderog: A Life for Meaning; References; Warmest Congratulations, Ernst-Rüdiger!; Semantics; Understanding Probabilistic Programs; 1 Introduction; 2 Probabilistic Programs; 3 Semantic Intricacies; 4 Expectation Transformer and Operational Semantics; 4.1 Weakest Pre -- expectation Semantics; 4.2 Operational Semantics; 4.3 Relating the Two Semantic Views; 5 Program Transformations; 6 Conclusion; References; Fairness for Infinitary Control
1 Introduction2 Basic Concepts; 2.1 Infinite Control; 2.2 Fairness; 2.3 Explicit Scheduling; 2.4 The Schedulers S1988 and S2010; 3 The Scheduler S2015 for Infinitary Fairness; 4 Conclusion; References; Evaluation Trees for Proposition Algebra; 1 Introduction; 2 Evaluation Trees for Free Valuation Congruence; 3 Evaluation Trees for Repetition-proof Valuation Congruence; 4 Conclusions; References; Process Algebra; On Applicative Similarity, Sequentiality, and Full Abstraction; 1 Introduction; 2 Programs and Their Operational Semantics; 2.1 Operational Semantics; 2.2 The Contextual Preorder
3 Applicative Simulation4 The Simulation Preorder is a Precongruence; 4.1 Howe's Method; 5 Full Abstraction; 5.1 From Tests to Contexts; References; Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems; 1 Motivation; 2 Four Ways to Exploit Causality; 2.1 Modelling; 2.2 Verification; 2.3 Decidability and Complexity I; 2.4 Decidability and Complexity II; 3 Equivalences; 3.1 Three Causal Equivalences; 3.2 Finite-State Results; 3.3 A Hierarchy of Causal Processes; 3.4 Infinite-State Results; 4 Summary and Outlook; References
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP1 Introduction; 1.1 Structure Preserving Bisimilarity; 1.2 Criteria for Choosing This Semantic Equivalence; 1.3 Applying the Criteria; 1.4 Inevitability; 2 CCSP; 3 Petri Nets; 4 An Operational Petri Net Semantics of CCSP; 5 Structure Preserving Bisimulation Equivalence; 6 Strong Bisimilarity; 7 Compositionality; 8 Processes of Nets and Causal Equivalence; 9 A Process-Based Characterisation of Sp-bisimilarity; 10 Relating Sp-bisimilarity to other Semantic Equivalences; 10.1 Place Bisimilarity
10.2 Occurrence Net Equivalence10.3 Causal Equivalence; 10.4 History Preserving bisimilarity; 11 Inevitability for Non-reactive Systems; 12 History Preserving Bisimilarity does not Respect Inevitability; 13 Structure Preserving Bisimilarity Respects Inevitability; 14 Inevitability for Reactive Systems; 15 Conclusion; References; Logic; Translating Testing Theories for Concurrent Systems; 1 Introduction; 1.1 Motivation; 1.2 Main Contributions and Overview; 2 Runtime Verification and Complete, Unsynchronised Hard Realtime Health Monitors; 2.1 Definition
Summary: This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed September 11, 2015).

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

Intro; Preface; Organization; Contents; Laudationes; From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog; Ernst-Rüdiger Olderog: A Life for Meaning; References; Warmest Congratulations, Ernst-Rüdiger!; Semantics; Understanding Probabilistic Programs; 1 Introduction; 2 Probabilistic Programs; 3 Semantic Intricacies; 4 Expectation Transformer and Operational Semantics; 4.1 Weakest Pre -- expectation Semantics; 4.2 Operational Semantics; 4.3 Relating the Two Semantic Views; 5 Program Transformations; 6 Conclusion; References; Fairness for Infinitary Control

1 Introduction2 Basic Concepts; 2.1 Infinite Control; 2.2 Fairness; 2.3 Explicit Scheduling; 2.4 The Schedulers S1988 and S2010; 3 The Scheduler S2015 for Infinitary Fairness; 4 Conclusion; References; Evaluation Trees for Proposition Algebra; 1 Introduction; 2 Evaluation Trees for Free Valuation Congruence; 3 Evaluation Trees for Repetition-proof Valuation Congruence; 4 Conclusions; References; Process Algebra; On Applicative Similarity, Sequentiality, and Full Abstraction; 1 Introduction; 2 Programs and Their Operational Semantics; 2.1 Operational Semantics; 2.2 The Contextual Preorder

3 Applicative Simulation4 The Simulation Preorder is a Precongruence; 4.1 Howe's Method; 5 Full Abstraction; 5.1 From Tests to Contexts; References; Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems; 1 Motivation; 2 Four Ways to Exploit Causality; 2.1 Modelling; 2.2 Verification; 2.3 Decidability and Complexity I; 2.4 Decidability and Complexity II; 3 Equivalences; 3.1 Three Causal Equivalences; 3.2 Finite-State Results; 3.3 A Hierarchy of Causal Processes; 3.4 Infinite-State Results; 4 Summary and Outlook; References

Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP1 Introduction; 1.1 Structure Preserving Bisimilarity; 1.2 Criteria for Choosing This Semantic Equivalence; 1.3 Applying the Criteria; 1.4 Inevitability; 2 CCSP; 3 Petri Nets; 4 An Operational Petri Net Semantics of CCSP; 5 Structure Preserving Bisimulation Equivalence; 6 Strong Bisimilarity; 7 Compositionality; 8 Processes of Nets and Causal Equivalence; 9 A Process-Based Characterisation of Sp-bisimilarity; 10 Relating Sp-bisimilarity to other Semantic Equivalences; 10.1 Place Bisimilarity

10.2 Occurrence Net Equivalence10.3 Causal Equivalence; 10.4 History Preserving bisimilarity; 11 Inevitability for Non-reactive Systems; 12 History Preserving Bisimilarity does not Respect Inevitability; 13 Structure Preserving Bisimilarity Respects Inevitability; 14 Inevitability for Reactive Systems; 15 Conclusion; References; Logic; Translating Testing Theories for Concurrent Systems; 1 Introduction; 1.1 Motivation; 1.2 Main Contributions and Overview; 2 Runtime Verification and Complete, Unsynchronised Hard Realtime Health Monitors; 2.1 Definition

Powered by Koha