Deciding true concurrency equivalences on safe, finite nets (Q1365677): Difference between revisions

@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721639
@@ Property / cites work: Q4721639 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680258
@@ Property / cites work: Q3680258 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximality preserving bisimulation
@@ Property / cites work: Maximality preserving bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751025
@@ Property / cites work: Q3751025 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking equivalences between concurrent systems of finite agents (Extended abstract)
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Step failures semantics and a complete proof system
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and action refinement
@@ Property / cites work: Bisimulation and action refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036588
@@ Property / cites work: Q4036588 / rank @@
+Normal rank
@@ Property / cites work @@
+Failures semantics based on interval semiwords is a congruence for refinement
+Normal rank
@@ Property / cites work @@
+Generalized OM-bisimulation
@@ Property / cites work: Generalized OM-bisimulation / rank @@
+Normal rank