Maximality preserving bisimulation (Q1193655): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+\(\tau\)-bisimulations and full abstraction for refinement of actions
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751025
@@ Property / cites work: Q3751025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3782795
@@ Property / cites work: Q3782795 / rank @@
+Normal rank
@@ Property / cites work @@
+Subset languages of Petri nets. I: The relationship to string languages and normal forms
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355248
@@ Property / cites work: Q3355248 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and action refinement
@@ Property / cites work: Bisimulation and action refinement / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1193655