scientific article; zbMATH DE number 3997153

zbMath0615.68024MaRDI QIDQ4723289

J. J. M. Hooman

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

communicationenvironmentdistributed computingdenotational semanticsConcurrencymaximal parallelismsynchronous message passingOCCAM-like real-time programming languagespecifications of processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Compositional semantics for real-time distributed computing ⋮ Control machines: A new model of parallelism for compositional specifications and their effective compilation ⋮ A compositional axiomatization of statecharts ⋮ Using mappings to prove timing properties ⋮ A contract-based approach to adaptivity