scientific article
From MaRDI portal
Publication:3680261
zbMath0565.68026MaRDI QIDQ3680261
No author found.
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CSPcommunicationsAdacompositional denotational semanticsflight control softwarereal-time distributed language
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (6)
A timed model for communicating sequential processes ⋮ An algebraic framework for developing and maintaining real-time systems ⋮ Control machines: A new model of parallelism for compositional specifications and their effective compilation ⋮ A Bibliography of Willem-Paul de Roever ⋮ Compositional priority specification in real-time distributed systems. ⋮ The timed failures -- Stability model for CSP
This page was built for publication:
