The denotational semantics of dynamic networks of processes

DOI10.1145/4472.4473MaRDI QIDQ3698296zbMATH OpenOpenAlexFDO

Authors 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, http://www.acm.org/pubs/contents/journals/toplas/1985-7/

zbMATH Keywords

parallelismdenotational semanticscontinuation semanticsdynamic networks of processesparallel coroutinesrecursively defined processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Semantics of communicating processes
• Semantics of finite and infinite networks of concurrent communicating agents
• scientific article; zbMATH DE number 3902017
• Process of petri nets extension
• A linear-history semantics for languages for distributed programming

Cited in

(9)

• scientific article; zbMATH DE number 3856451 (Why is no real title available?)
• scientific article; zbMATH DE number 3943004 (Why is no real title available?)
• Visible acyclic differential nets. I: Semantics
• Linear dynamic Kahn networks are deterministic
• A constructive denotational semantics for Kahn networks in Coq
• Graph-grammar semantics of a higher-order programming language for distributed systems
• scientific article; zbMATH DE number 1337886 (Why is no real title available?)
• scientific article; zbMATH DE number 3902014 (Why is no real title available?)
• Designing equivalent semantic models for process creation

This page was built for publication: The denotational semantics of dynamic networks of processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3698296)