scientific article

zbMath0463.68029MaRDI QIDQ3914418

Peter E. Lauer, Michael Shields

Publication date: 1980

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

zbMATH Keywords

concurrent system specification in COSY

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Related Items

On priority in COSY, Semantics of algorithmic languages, Iterators for sequence expressions