Hypergraph construction and its application to the static analysis of concurrent systems

DOI10.1017/S0960129501003486zbMATH Open1007.68136OpenAlexW2090686605MaRDI QIDQ3146249FDOQ3146249

Authors: Barbara König 

Publication date: 11 September 2002

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129501003486

Recommendations

• scientific article; zbMATH DE number 1361132
• scientific article; zbMATH DE number 749804
• scientific article; zbMATH DE number 1762783
• Concurrent Rewriting for Graphs with Equivalences
• scientific article; zbMATH DE number 1067869

zbMATH Keywords

hypergraphsPetri netsprocess calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Title not available (Why is that?)
• A general framework for types in graph rewriting

This page was built for publication: Hypergraph construction and its application to the static analysis of concurrent systems

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