Ernst-Rüdiger Olderog: A Life for Meaning
From MaRDI portal
Publication:3449620
DOI10.1007/978-3-319-23506-6_2zbMath1360.01041MaRDI QIDQ3449620
Publication date: 4 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-23506-6_2
01A70: Biographies, obituaries, personalia, bibliographies
Uses Software
Cites Work
- Specification-oriented semantics for communicating processes
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Sound and complete Hoare-like calculi based on copy rules
- Transformational design of real-time systems. I: From requirements to program specifications
- Isabelle/HOL. A proof assistant for higher-order logic
- Proving Safety of Traffic Manoeuvres on Country Roads
- Verification of cooperating traffic agents
- Nets, Terms and Formulas
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
- Formal Methods for Components and Objects
- Real-Time Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item