scientific article; zbMATH DE number 554489

MaRDI QIDQ4288291zbMATH OpenFDO

Authors Joost N. Kok

Publication date 19 April 1994

zbMATH Keywords

behavior of networks with equationsfull abstractionnondeterministic dataflowoperational semanticssemantic models

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A fully abstract trace model for dataflow and asynchronous networks
• scientific article; zbMATH DE number 17812
• Publication:4723281

Cited in

(12)

• An extensional fixed-point semantics for nondeterministic data flow
• scientific article; zbMATH DE number 5666832 (Why is no real title available?)
• scientific article; zbMATH DE number 3901998 (Why is no real title available?)
• scientific article; zbMATH DE number 1305006 (Why is no real title available?)
• A relational model of non-deterministic dataflow
• scientific article; zbMATH DE number 3997145 (Why is no real title available?)
• scientific article; zbMATH DE number 915918 (Why is no real title available?)
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Towards a complete hierarchy of compositional dataflow models
• Non-interleaving Semantics with Causality for Nondeterministic Dataflow
• Communicating Sequential Processes. The First 25 Years
• Intensional and extensional semantics of dataflow programs

This page was built for publication:

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