Handshake Games (Q2864210): Difference between revisions

@@ 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.1016/j.entcs.2006.11.034
+Normal rank
@@ Property / OpenAlex ID @@
+W2914182139
@@ Property / OpenAlex ID: W2914182139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885871
@@ Property / cites work: Q4885871 / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for the geometry of interaction
@@ Property / cites work: New foundations for the geometry of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Receptive process theory
@@ Property / cites work: Receptive process theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037399
@@ Property / cites work: Q4037399 / rank @@
+Normal rank
@@ Property / cites work @@
+A Game Semantics of Idealized CSP
@@ Property / cites work: A Game Semantics of Idealized CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204036
@@ Property / cites work: Q3204036 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Q3042377
@@ Property / cites work: Q3042377 / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded Non-determinism in CSP
@@ Property / cites work: Unbounded Non-determinism in CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Handshake Circuits
@@ Property / cites work: Handshake Circuits / rank @@
+Normal rank