scientific article; zbMATH DE number 3997145
From MaRDI portal
Recommendations
Cited in
(27)- Concurrent transition systems
- Clocks in dataflow languages
- The expressive power of indeterminate dataflow primitives
- A fully abstract trace model for dataflow and asynchronous networks
- A formal semantics of data flow diagrams
- On schematological equivalence of partially interpreted dataflow networks
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
- A proof of the Kahn principle for input/output automata
- A Petri nets semantics for data flow networks
- A compositional dataflow semantics for Petri nets
- Semantics of multiway dataflow constraint systems
- scientific article; zbMATH DE number 5666832 (Why is no real title available?)
- scientific article; zbMATH DE number 4084982 (Why is no real title available?)
- scientific article; zbMATH DE number 17812 (Why is no real title available?)
- scientific article; zbMATH DE number 1305005 (Why is no real title available?)
- scientific article; zbMATH DE number 517054 (Why is no real title available?)
- scientific article; zbMATH DE number 554489 (Why is no real title available?)
- scientific article; zbMATH DE number 742725 (Why is no real title available?)
- Integrating TwoTowers and GreatSPN through a compact net semantics
- scientific article; zbMATH DE number 1432335 (Why is no real title available?)
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Towards a complete hierarchy of compositional dataflow models
- Dataflow semantics for Petri nets
- The algebra of stream processing functions
- Specification and verification of concurrent systems by causality and realizability
- A calculus for the specification, design, and verification of distributed concurrent systems
- 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 Q4723281)
