scientific article; zbMATH DE number 3902019

MaRDI QIDQ3680261zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

CSPcommunicationsAdacompositional denotational semanticsflight control softwarereal-time distributed language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Recommendations

• Compositional semantics for real-time distributed computing
• scientific article; zbMATH DE number 4084987
• scientific article; zbMATH DE number 3997153
• Real-time semantics for shared-variable concurrency
• A linear-history semantics for languages for distributed programming

Cited in

(18)

• Compositional priority specification in real-time distributed systems.
• scientific article; zbMATH DE number 4084987 (Why is no real title available?)
• The semantic layers of Timber.
• Semantic models of a timed distributed dataspace architecture
• Real-time semantics for shared-variable concurrency
• The timed failures -- Stability model for CSP
• A Bibliography of Willem-Paul de Roever
• UTP semantics for rTiMo
• Metric semantics for true concurrent real time
• Compositional semantics for real-time distributed computing
• Control machines: A new model of parallelism for compositional specifications and their effective compilation
• A linear-history semantics for languages for distributed programming
• scientific article; zbMATH DE number 1751887 (Why is no real title available?)
• scientific article; zbMATH DE number 3997153 (Why is no real title available?)
• scientific article; zbMATH DE number 4041249 (Why is no real title available?)
• An algebraic framework for developing and maintaining real-time systems
• Operational semantics of a kernel of the language ELECTRE
• A timed model for communicating sequential processes

This page was built for publication:

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