Title: Domain modeling and the duration calculus
Subjects: Congresses, Programming languages (Electronic computers), Real-time data processing, Computer logic, Semantics, Logic design, Computer networks, Software engineering, Computer software, Programming languages (electronic computers)