scientific article; zbMATH DE number 4035164

MaRDI QIDQ3774963zbMATH OpenFDO

Authors Rodney R. Howell, Dung T. Huynh, Louis E. Rosier, Hsu-Chun Yen

Publication date 1987

zbMATH Keywords

flow diagramsHyperedge replacement systemshypergraph languagesPetri netspumping lemmarewritingstring languages

Mathematics Subject Classification ID

Hypergraphs (05C65) General topics in the theory of software (68N01) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4035178
• Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states
• scientific article; zbMATH DE number 522836
• scientific article; zbMATH DE number 4024808
• Completeness results for conflict-free vector replacement systems

Cited in

(4)

• scientific article; zbMATH DE number 4024808 (Why is no real title available?)
• scientific article; zbMATH DE number 4035178 (Why is no real title available?)
• The Reachability Problem for Two-Dimensional Vector Addition Systems with States
• scientific article; zbMATH DE number 7407775 (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 Q3774963)