Unfolding Grammars in Adhesive Categories (Q2888498): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2133541522
@@ Property / OpenAlex ID: W2133541522 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+A framework for the verification of infinite-state graph transformation systems
+Normal rank
@@ Property / cites work @@
+Unfolding semantics of graph transformation
@@ Property / cites work: Unfolding semantics of graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding-Based Diagnosis of Systems with an Evolving Topology
+Normal rank
@@ Property / cites work @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency in high-level replacement systems
+Normal rank
@@ Property / cites work @@
+Q3165961
@@ Property / cites work: Q3165961 / rank @@
+Normal rank
@@ Property / cites work @@
+Van Kampen Colimits as Bicolimits in Span
@@ Property / cites work: Van Kampen Colimits as Bicolimits in Span / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Toposes Are Adhesive
@@ Property / cites work: Toposes Are Adhesive / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of place/transition Petri nets
@@ Property / cites work: On the semantics of place/transition Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2888498