Life-cycle inheritance (Q6487369): Difference between revisions

@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimilarity is an equivalence indeed!
@@ Property / cites work: Branching bisimilarity is an equivalence indeed! / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4299862
@@ Property / cites work: Q4299862 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Q4301180
@@ Property / cites work: Q4301180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023496
@@ Property / cites work: Q4023496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4292252
@@ Property / cites work: Q4292252 / rank @@
+Normal rank