scientific article; zbMATH DE number 1305006

MaRDI QIDQ4251929zbMATH OpenFDO

Authors Prakash Panangaden, Glynn Winskel, Thomas Hildebrandt

Publication date 19 July 2000

zbMATH Keywords

dataflowprofunctors

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A relational model of non-deterministic dataflow
• Compositional relational semantics for indeterminate dataflow networks
• Non-interleaving Semantics with Causality for Nondeterministic Dataflow
• scientific article; zbMATH DE number 554489
• scientific article; zbMATH DE number 1305005

Cited in

(13)

• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• Presheaf models for CCS-like languages
• Domain theory for concurrency
• Modeling data-intensive reactive systems with relational transition systems
• Open maps in concrete categories and branching bisimulation for prefix orders
• Event structure spans for nondeterministic dataflow
• A Formal Definition of Data Flow Graph Models
• scientific article; zbMATH DE number 1543343 (Why is no real title available?)
• A relational model of non-deterministic dataflow
• Compositional relational semantics for indeterminate dataflow networks
• Non-interleaving Semantics with Causality for Nondeterministic Dataflow
• Monoidal streams for dataflow programming
• Coinductive streams in monoidal categories

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 Q4251929)