Title: A practical approach to implementing real-time semantics
Subjects: Algebra, Protocol (Computers), Program verification (Computers), Real time operation