Essential transitions to bisimulation equivalences (Q1391753): Difference between revisions

@@ Property / describes a project that uses @@
+LOTOS
@@ Property / describes a project that uses: LOTOS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3792231
@@ Property / cites work: Q3792231 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal state graph generation
@@ Property / cites work: Minimal state graph generation / 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 @@
+Minimizing the number of transitions with respect to observation equivalence
+Normal rank
@@ Property / cites work @@
+An implementation of an efficient algorithm for bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4874391
@@ Property / cites work: Q4874391 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and divergence
@@ Property / cites work: Bisimulation and divergence / rank @@
+Normal rank