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

continuation semanticsdenotational semanticsdynamic networks of processesparallel coroutinesparallelismrecursively 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)

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

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)