Algorithmic probabilistic game semantics. Playing games with automata (Q2248076): Difference between revisions

@@ Property / author @@
-Joël Ouaknine
@@ Property / author: Joël Ouaknine / rank @@
-Normal rank
@@ Property / author @@
+Joël Ouaknine
@@ Property / author: Joël Ouaknine / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LiQuor
@@ Property / describes a project that uses: LiQuor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ymer
@@ Property / describes a project that uses: Ymer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MRMC
@@ Property / describes a project that uses: MRMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-012-0173-1
+Normal rank
@@ Property / OpenAlex ID @@
+W22667845
@@ Property / OpenAlex ID: W22667845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823132
@@ Property / cites work: Q4823132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798031
@@ Property / cites work: Q4798031 / rank @@
+Normal rank
@@ Property / cites work @@
+The impact of higher-order state and control effects on local relational reasoning
+Normal rank
@@ Property / cites work @@
+Q4518904
@@ Property / cites work: Q4518904 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Combinatorial Properties of Certain Trees With Applications to Searching and Sorting
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+A Fragment of ML Decidable by Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+A trivial algorithm whose analysis isn't
@@ Property / cites work: A trivial algorithm whose analysis isn't / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486061
@@ Property / cites work: Q5486061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+The Thousand-and-One Cryptographers
@@ Property / cites work: The Thousand-and-One Cryptographers / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+GENERIC ∊-REMOVAL AND INPUT ∊-NORMALIZATION ALGORITHMS FOR WEIGHTED TRANSDUCERS
+Normal rank
@@ Property / cites work @@
+Q4856179
@@ Property / cites work: Q4856179 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions with local state: regularity and undecidability
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164569
@@ Property / cites work: Q4164569 / rank @@
+Normal rank
@@ Property / cites work @@
+CSP and anonymity
@@ Property / cites work: CSP and anonymity / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2248076