scientific article; zbMATH DE number 4084982

MaRDI QIDQ3814772zbMATH OpenFDO

Authors Alexander Rabinovich

Publication date 1987

zbMATH Keywords

data flowdenotational semanticspomsetsrecursive equations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 17816
• Towards a pomset semantics for a shared-variable parallel language
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Dataflow semantics for Petri nets
• A truly concurrent semantics for a process algebra using resource pomsets
• Brzozowski goes concurrent -- a Kleene theorem for pomset languages
• scientific article; zbMATH DE number 1104370
• A compositional dataflow semantics for Petri nets
• Publication:4723281
• Semantics of multiway dataflow constraint systems

Cited in

(4)

• On schematological equivalence of partially interpreted dataflow networks
• Algebra and theory of order-deterministic pomsets
• A proof of the Kahn principle for input/output automata
• 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 Q3814772)