The quantitative linear-time-branching-time spectrum (Q2453109): Difference between revisions

@@ Property / cites work @@
+Q5641037
@@ Property / cites work: Q5641037 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation distances
@@ Property / cites work: Simulation distances / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Q2970258
@@ Property / cites work: Q2970258 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time-branching-time spectrum for behavioral specification theories
+Normal rank
@@ Property / cites work @@
+Q2911616
@@ Property / cites work: Q2911616 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for weighted transition systems: axiomatization and complexity
+Normal rank
@@ Property / cites work @@
+Q3976298
@@ Property / cites work: Q3976298 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230355
@@ Property / cites work: Q3230355 / rank @@
+Normal rank
@@ Property / cites work @@
+(Bi)simulations up-to characterise process semantics
+Normal rank
@@ Property / cites work @@
+On the Unification of Process Semantics: Equational Semantics
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Error Detecting and Error Correcting Codes
@@ Property / cites work: Error Detecting and Error Correcting Codes / 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 @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative analysis of weighted transition systems
+Normal rank
@@ Property / cites work @@
+Q4373413
@@ Property / cites work: Q4373413 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank