Efficient Coalgebraic Partition Refinement (Q5111646): Difference between revisions

@@ label / en / label / en @@
+Efficient Coalgebraic Partition Refinement
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08362
@@ Property / arXiv ID: 1705.08362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680360
@@ Property / cites work: Q4680360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Q2843720
@@ Property / cites work: Q2843720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842853
@@ Property / cites work: Q2842853 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal state-space lumping in Markov chains
@@ Property / cites work: Optimal state-space lumping in Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for computing bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Bisimulation minimization and symbolic model checking
+Normal rank
@@ Property / cites work @@
+Describing an algorithm by Hopcroft
@@ Property / cites work: Describing an algorithm by Hopcroft / rank @@
+Normal rank
@@ Property / cites work @@
+Monoid-labeled transition systems
@@ Property / cites work: Monoid-labeled transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4032309
@@ Property / cites work: Q4032309 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Weighted Transition Systems
+Normal rank
@@ Property / cites work @@
+Re-describing an algorithm by Hopcroft
@@ Property / cites work: Re-describing an algorithm by Hopcroft / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / 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 @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing the Paige-Tarjan algorithm by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Bisimilarity Minimization in O(m logn) Time
@@ Property / cites work: Bisimilarity Minimization in O(m logn) Time / rank @@
+Normal rank
@@ Property / cites work @@
+Simple O(m logn) Time Markov Chain Lumping
@@ Property / cites work: Simple O(m logn) Time Markov Chain Lumping / rank @@
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank
@@ Property / cites work @@
+Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
+Normal rank
@@ Property / OpenAlex ID @@
+W2963074164
@@ Property / OpenAlex ID: W2963074164 / rank @@
+Normal rank
@@ Property / title @@
+Efficient Coalgebraic Partition Refinement (English)
@@ Property / title: Efficient Coalgebraic Partition Refinement (English) / rank @@
+Normal rank