The denotational semantics of dynamic networks of processes

DOI10.1145/4472.4473zbMath0577.68041OpenAlexW2133673046MaRDI QIDQ3698296

Arie de Bruin, Wim Böhm

Publication date: 1985

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/16235

zbMATH Keywords

parallelismdenotational semanticscontinuation semanticsdynamic networks of processesparallel coroutinesrecursively defined processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Designing equivalent semantic models for process creation, Linear dynamic Kahn networks are deterministic, Graph-grammar semantics of a higher-order programming language for distributed systems