The denotational semantics of dynamic networks of processes

DOI10.1145/4472.4473zbMATH Open0577.68041OpenAlexW2133673046MaRDI QIDQ3698296FDOQ3698296

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

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

zbMATH Keywords

parallelismdenotational semanticscontinuation semanticsdynamic networks of processesparallel coroutinesrecursively defined processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)