scientific article; zbMATH DE number 3902019
From MaRDI portal
Publication:3680261
zbMATH Open0565.68026MaRDI QIDQ3680261FDOQ3680261
Authors:
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
CSPcommunicationsAdacompositional denotational semanticsflight control softwarereal-time distributed language
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Cited In (18)
- Title not available (Why is that?)
- Operational semantics of a kernel of the language ELECTRE
- An algebraic framework for developing and maintaining real-time systems
- Metric semantics for true concurrent real time
- UTP semantics for rTiMo
- Compositional semantics for real-time distributed computing
- The timed failures -- Stability model for CSP
- Semantic models of a timed distributed dataspace architecture
- Title not available (Why is that?)
- A linear-history semantics for languages for distributed programming
- Title not available (Why is that?)
- A timed model for communicating sequential processes
- Title not available (Why is that?)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation
- The semantic layers of Timber.
- A Bibliography of Willem-Paul de Roever
- Real-time semantics for shared-variable concurrency
- Compositional priority specification in real-time distributed systems.
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)