2,130 followers
Open Access UCL Research: Understanding Probabilistic Programs - UCL Discovery https://t.co/L3nzVHPZF4
2,796 followers
Understanding Probabilistic Programs http://t.co/sf8N4fw6Rm
Correct System Design
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog
-
Altmetric BadgeChapter 2 Correct System Design
-
Altmetric BadgeChapter 3 Warmest Congratulations, Ernst-Rüdiger!
-
Altmetric BadgeChapter 4 Understanding Probabilistic Programs
-
Altmetric BadgeChapter 5 Fairness for Infinitary Control
-
Altmetric BadgeChapter 6 Evaluation Trees for Proposition Algebra
-
Altmetric BadgeChapter 7 On Applicative Similarity, Sequentiality, and Full Abstraction
-
Altmetric BadgeChapter 8 Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
-
Altmetric BadgeChapter 9 Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
-
Altmetric BadgeChapter 10 Translating Testing Theories for Concurrent Systems
-
Altmetric BadgeChapter 11 No Need Knowing Numerous Neighbours
-
Altmetric BadgeChapter 12 Automated Reasoning Building Blocks
-
Altmetric BadgeChapter 13 Being and Change: Reasoning About Invariance
-
Altmetric BadgeChapter 14 Toward Compact Abstractions for Processor Pipelines
-
Altmetric BadgeChapter 15 Bounded Synthesis for Petri Games
-
Altmetric BadgeChapter 16 Mediator Synthesis in a Component Algebra with Data
-
Altmetric BadgeChapter 17 Safe and Optimal Adaptive Cruise Control