Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours (Q1633345): Difference between revisions

@@ Property / arXiv ID @@
+.07488
@@ Property / arXiv ID: 1810.07488 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535031
@@ Property / cites work: Q4535031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizations for probabilistic finite-state behaviors
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Testing Finitary Probabilistic Processes
@@ Property / cites work: Testing Finitary Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+The Quest for Minimal Quotients for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time
+Normal rank
@@ Property / cites work @@
+Q4737191
@@ Property / cites work: Q4737191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129081373
@@ Property / Wikidata QID: Q129081373 / rank @@
+Normal rank