scientific article; zbMATH DE number 3984592

MaRDI QIDQ3747739zbMATH OpenFDO

Authors Yu. P. Velinov

Publication date 1985

zbMATH Keywords

flow diagramsparallel programsPetri netspolycategories

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3999306
• Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
• scientific article; zbMATH DE number 3988722
• scientific article; zbMATH DE number 1302049
• Petri nets, algebras, morphisms, and compositionality

Cited in

(10)

• An algebraic semantics for structured transition systems and its application to logic programs
• Declarative operations on nets
• Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories)
• Categorical semantics of parallel program design
• Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
• scientific article; zbMATH DE number 1231608 (Why is no real title available?)
• scientific article; zbMATH DE number 3999306 (Why is no real title available?)
• Integrating TwoTowers and GreatSPN through a compact net semantics
• scientific article; zbMATH DE number 1424446 (Why is no real title available?)
• scientific article; zbMATH DE number 1435987 (Why is no real title available?)

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