Publication:3680261
From MaRDI portal
zbMath0565.68026MaRDI QIDQ3680261
No author found.
Publication date: 1985
CSP; communications; Ada; compositional denotational semantics; flight control software; real-time distributed language
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
A Bibliography of Willem-Paul de Roever, Compositional priority specification in real-time distributed systems., A timed model for communicating sequential processes, Control machines: A new model of parallelism for compositional specifications and their effective compilation, The timed failures -- Stability model for CSP