Limit search to available items
Book Cover
E-book

Title 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.)
Published Cham : Springer, 2015

Copies

Description 1 online resource (viii, 270 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 9360
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 9360. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
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
Notes Includes author index
Online resource; title from PDF title page (SpringerLink, viewed September 11, 2015)
Subject Formal methods (Computer science) -- Congresses
Formal methods (Computer science)
Genre/Form proceedings (reports)
Festschriften
Conference papers and proceedings
Conference papers and proceedings.
Festschriften.
Actes de congrès.
Form Electronic book
Author Meyer, Roland, editor
Platzer, André, editor.
Wehrheim, Heike, editor.
Olderog, E.-R., honouree.
ISBN 9783319235066
3319235060
3319235052
9783319235059