scientific article; zbMATH DE number 3984592

MaRDI QIDQ3747739zbMATH OpenFDO

Authors Yu. P. Velinov

Publication date 1985

zbMATH Keywords

Petri netsparallel programsflow diagramspolycategories

Mathematics Subject Classification ID

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

Recommendations

• Publication:4725761
• 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

(8)

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

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)