related documents A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus Conferences Systematising Reactive System Design Conferences
