Q5101352 (Q5101352): Difference between revisions

@@ Property / cites work @@
+A game for linear-time-branching-time spectroscopy
+Normal rank
@@ Property / cites work @@
+Coupled similarity: the first 32 years
@@ Property / cites work: Coupled similarity: the first 32 years / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalence as a bisimulation equivalence
@@ Property / cites work: Testing equivalence as a bisimulation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation distances
@@ Property / cites work: Simulation distances / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037401
@@ Property / cites work: Q4037401 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying the Linear Time-Branching Time Spectrum of Process Semantics
+Normal rank
@@ Property / cites work @@
+Q4596797
@@ Property / cites work: Q4596797 / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence from the operator's point of view. Syntactic requirements on modal characterizations
+Normal rank
@@ Property / cites work @@
+Q5155676
@@ Property / cites work: Q5155676 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite model theory and its applications.
@@ Property / cites work: Finite model theory and its applications. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic invariants in Hennessy-Milner logic
+Normal rank
@@ Property / cites work @@
+Q4945247
@@ Property / cites work: Q4945247 / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas
+Normal rank
@@ Property / cites work @@
+Model-checking process equivalences
@@ Property / cites work: Model-checking process equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807826
@@ Property / cites work: Q4807826 / rank @@
+Normal rank
@@ Property / cites work @@
+Revivals, stuckness and the hierarchy of CSP models
+Normal rank
@@ Property / cites work @@
+Minimal Separating Sequences for All Pairs of States
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6176116
@@ Property / cites work: Q6176116 / rank @@
+Normal rank