Introduction to the Formal Design of Real-Time Systems

DOI10.1007/978-1-4471-0889-4MaRDI QIDQ4390390zbMATH OpenOpenAlexFDO

Authors David F. Gray

Publication date 25 May 1998

Published in Applied Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4471-0889-4

zbMATH Keywords

synchronisationHennessy-Milner logicbisimulationmutual exclusiontracessemaphorescritical sectionsformal design(synchronous) calculus of communicating systemsconcurrency and communicationconcurrency work bench

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Reactive Systems
• scientific article; zbMATH DE number 53319
• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.
• scientific article; zbMATH DE number 52331

Cited in

(9)

• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.
• scientific article; zbMATH DE number 54320 (Why is no real title available?)
• Echtzeitsysteme
• scientific article; zbMATH DE number 51848 (Why is no real title available?)
• Transformational design of real-time systems. I: From requirements to program specifications
• Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures.
• scientific article; zbMATH DE number 711039 (Why is no real title available?)
• scientific article; zbMATH DE number 3924092 (Why is no real title available?)
• Rigorous implementation of real-time systems -- from theory to application

This page was built for publication: Introduction to the Formal Design of Real-Time Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4390390)