Algebraic structures of directed acyclic graphs: application to concurrent calculus

DOI10.1080/00207169508804418MaRDI QIDQ4876370zbMATH OpenOpenAlexWikidataFDO

Authors Dorel Lucanu

Publication date 23 June 1996

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207169508804418

zbMATH Keywords

concurrent systemsdags transformations

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• The algebra of directed acyclic graphs
• An algebra for directed bigraphs
• scientific article; zbMATH DE number 1107620
• scientific article; zbMATH DE number 792228

Cites work

• Conditional rewriting logic as a unified model of concurrency
• Graph expressions and graph rewritings
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 4070337 (Why is no real title available?)
• Parallel and distributed derivations in the single-pushout approach
• Sequential and concurrent behaviour in Petri net theory

Cited in

(2)

• A formal model of concurrent systems based on bipartite directed acyclic graph
• The algebra of directed acyclic graphs

This page was built for publication: Algebraic structures of directed acyclic graphs: application to concurrent calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4876370)