scientific article; zbMATH DE number 3984592

zbMATH Open0608.68054MaRDI QIDQ3747739FDOQ3747739

Authors: Yu. P. Velinov 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)