scientific article; zbMATH DE number 2155177

zbMATH Open1063.68072MaRDI QIDQ4665723

H. Ehrig

Publication date: 11 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bigraphical reactive systemsdouble pushout approach for graph transformation systens

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Bigeodetic graphs 👍 👎
• Double graphs 👍 👎
• Double-pushout graph transformation revisited 👍 👎
• Matching of Bigraphs 👍 👎
• Bigraphs and Their Algebra 👍 👎
• Bigraphs and transitions 👍 👎
• Graphs with double domination numbers 👍 👎

This page was built for publication: