Search results for "Game Semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Sharon Shoham, Nissim Francez	Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.	Studia Logica	2008	DBLP DOI BibTeX RDF	Game semantics, Lambek calculus
3	Andrzej S. Murawski	Reachability Games and Game Semantics: Comparing Nondeterministic Programs.	LICS	2008	DBLP DOI BibTeX RDF	Idealized Algol, pushdown graphs, reachability games, nondeterminism, game semantics
3	Juliusz Chroboczek	Game Semantics and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF	Semantics, Type Systems, Game Semantics
2	James Laird	Game Semantics for a Polymorphic Programming Language.	LICS	2010	DBLP DOI BibTeX RDF	general references, genericity, polymorphism, game semantics
2	Adam Bakewell, Dan R. Ghica	Compositional Predicate Abstraction from Game Semantics.	TACAS	2009	DBLP DOI BibTeX RDF
2	Dan R. Ghica	Applications of Game Semantics: From Program Analysis to Hardware Synthesis.	LICS	2009	DBLP DOI BibTeX RDF
2	Christopher H. Broadbent, C.-H. Luke Ong	On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.	FOSSACS	2009	DBLP DOI BibTeX RDF	Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
2	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	LICS	2008	DBLP DOI BibTeX RDF	Higher-order pushdown automata, game semantics, higher-order recursion schemes
2	Aleksandar Dimovski, Ranko Lazic	Compositional software verification based on game semantics and process algebra.	STTT	2007	DBLP DOI BibTeX RDF
2	Paul-André Melliès, Nicolas Tabareau	Resource modalities in game semantics.	LICS	2007	DBLP DOI BibTeX RDF
2	Dan R. Ghica	Geometry of synthesis: a structured approach to VLSI design.	POPL	2007	DBLP DOI BibTeX RDF	syntactic control of interference, synthesis, game semantics, geometry of interaction
2	Mohamed Saleh, Mourad Debbabi	Modeling Security Protocols as Games.	IAS	2007	DBLP DOI BibTeX RDF	Modeling cryptographic protocols, Security protocols, Game semantics
2	Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz	A Theory for Game Theories.	FSTTCS	2007	DBLP DOI BibTeX RDF	categories, Game semantics
2	Brian F. Redmond	Multiplexor Categories and Models of Soft Linear Logic.	LFCS	2007	DBLP DOI BibTeX RDF	Categorical semantics, Soft Linear Logic, Polynomial time, Game semantics
2	Aleksandar Dimovski, Ranko Lazic	Assume-Guarantee Software Verification Based on Game Semantics.	ICFEM	2006	DBLP DOI BibTeX RDF
2	Sándor Jenei, Franco Montagna	Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
2	James Laird	Game Semantics for Higher-Order Concurrency.	FSTTCS	2006	DBLP DOI BibTeX RDF
2	Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
2	Jim Laird	A Game Semantics of the Asynchronous pi-Calculus.	CONCUR	2005	DBLP DOI BibTeX RDF
2	Mourad Debbabi, Mohamed Saleh	Game Semantics Model for Security Protocols.	ICFEM	2005	DBLP DOI BibTeX RDF
2	Samson Abramsky	Algorithmic Game Semantics and Static Analysis.	SAS	2005	DBLP DOI BibTeX RDF
2	Andrzej S. Murawski	About the undecidability of program equivalence in finitary languages with state.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Idealized Algol, Game semantics, program equivalence
2	Aleksandar Dimovski, Ranko Lazic	CSP Representation of Game Semantics for Second-Order Idealized Algol.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong	Applying Game Semantics to Compositional Software Modeling and Verification.	TACAS	2004	DBLP DOI BibTeX RDF
2	James Laird	A Game Semantics of Local Names and Good Variables.	FoSSaCS	2004	DBLP DOI BibTeX RDF
2	James Laird	A Game Semantics of Linearly Used Continuations.	FoSSaCS	2003	DBLP DOI BibTeX RDF
2	Samson Abramsky, Radha Jagadeesan	A Game Semantics for Generic Polymorphism.	FoSSaCS	2003	DBLP DOI BibTeX RDF
2	C.-H. Luke Ong	Model Checking Algol-Like Languages Using Game Semantics.	FSTTCS	2002	DBLP DOI BibTeX RDF
2	Andrzej S. Murawski, C.-H. Luke Ong	Evolving Games and Essential Nets for Affine Polymorphism.	TLCA	2001	DBLP DOI BibTeX RDF	Full Completeness, Polymorphism, Linear Logic, Game Semantics
2	Andrzej S. Murawski, C.-H. Luke Ong	Discreet Games, Light Affine Logic and PTIME Computation.	CSL	2000	DBLP DOI BibTeX RDF	PTIME, Complexity, Linear Logic, Game Semantics
2	Dan R. Ghica, Guy McCusker	Reasoning about Idealized ALGOL Using Regular Languages.	ICALP	2000	DBLP DOI BibTeX RDF	ALGOL-like languages, regular languages, Game semantics
2	Pietro Di Gianantonio, Gianluca Franco, Furio Honsell	Game Semantics for Untyped lambda beta eta-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
2	Russell Harmer, Guy McCusker	A Fully Abstract Game Semantics for Finite Nondeterminism.	LICS	1999	DBLP DOI BibTeX RDF
2	Pasquale Malacaria, Chris Hankin	Non-Deterministic Games and Program Analysis: An Application to Security.	LICS	1999	DBLP DOI BibTeX RDF	security, type systems, linear logic, game semantics
2	Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet	A Game Semantics Foundation for Logic Programming (Extended Abstract).	PLILP/ALP	1998	DBLP DOI BibTeX RDF
2	Andreas Blass	Is Game Semantics Necessary?	CSL	1993	DBLP DOI BibTeX RDF	1991 Mathematics Subject Classification 03B60
1	Yannick Delbecque	Game Semantics for Quantum Data.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Pierre Clairambault	Estimation of the length of interactions in arena game semantics	CoRR	2011	DBLP BibTeX RDF
1	Pavel Naumov, Brittany Nicholls	Game Semantics for the Geiger-Paz-Pearl Axioms of Independence.	LORI	2011	DBLP DOI BibTeX RDF
1	Pierre Bourreau, Sylvain Salvati	Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus.	TLCA	2011	DBLP DOI BibTeX RDF
1	Andrzej S. Murawski, Nikos Tzevelekos	Game Semantics for Good General References.	LICS	2011	DBLP DOI BibTeX RDF
1	Martin Churchill, James Laird, Guy McCusker	Imperative Programs as Proofs via Game Semantics.	LICS	2011	DBLP DOI BibTeX RDF
1	Dan R. Ghica, Mohamed N. Menaa	Synchronous Game Semantics via Round Abstraction.	FOSSACS	2011	DBLP DOI BibTeX RDF
1	Pierre Clairambault	Estimation of the Length of Interactions in Arena Game Semantics.	FOSSACS	2011	DBLP DOI BibTeX RDF
1	Andrzej S. Murawski, Nikos Tzevelekos	Algorithmic Nominal Game Semantics.	ESOP	2011	DBLP DOI BibTeX RDF
1	Ana C. Calderon, Guy McCusker	Understanding Game Semantics Through Coherence Spaces.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Olivier Laurent	Game semantics for first-order logic	Logical Methods in Computer Science	2010	DBLP DOI BibTeX RDF
1	Pierre Clairambault	Least and greatest fixpoints in game semantics	CoRR	2010	DBLP BibTeX RDF
1	James Laird	Game Semantics for Call-by-Value Polymorphism.	ICALP	2010	DBLP DOI BibTeX RDF
1	Paul-André Melliès, Nicolas Tabareau	An Algebraic Account of References in Game Semantics.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Samson Abramsky, Radha Jagadeesan	Game Semantics for Access Control.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Pierre Clairambault	Least and Greatest Fixpoints in Game Semantics.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
1	J. Robin B. Cockett, Luigi Santocanale	On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication.	CSL	2009	DBLP DOI BibTeX RDF	??-categories, bicatersian categories, two-way communication, proof theory, game semantics, word problem
1	Leonard van Driel, Rafael Bidarra	A Semantic Navigation Model for Video Games.	MIG	2009	DBLP DOI BibTeX RDF	navigation, game semantics, game AI
1	Giorgi Japaridze	Many Concepts and Two Logics of Algorithmic Reduction.	Studia Logica	2009	DBLP DOI BibTeX RDF	Affine logic, Interactivecomputation, Linear logic, Game semantics, Intuitionistic logic, Computability logic
1	Naoki Kobayashi	Types and higher-order recursion schemes for verification of higher-order programs.	POPL	2009	DBLP DOI BibTeX RDF	model checking, type system, higher-order recursion scheme
1	Michele Basaldella, Claudia Faggian	Ludics with Repetitions (Exponentials, Interactive Types and Completeness).	LICS	2009	DBLP DOI BibTeX RDF
1	Naoki Kobayashi, C.-H. Luke Ong	A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes.	LICS	2009	DBLP DOI BibTeX RDF
1	Joachim De Lataillade	Dinatural Terms in System F.	LICS	2009	DBLP DOI BibTeX RDF
1	Samuel Mimram	The Structure of First-Order Causality.	LICS	2009	DBLP DOI BibTeX RDF
1	Xiaowei Huang, Ron van der Meyden	Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
1	David Hopkins, C.-H. Luke Ong	Homer: A Higher-Order Observational Equivalence Model checkER.	CAV	2009	DBLP DOI BibTeX RDF
1	Andrzej S. Murawski, Nikos Tzevelekos	Full Abstraction for Reduced ML.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden	Epistemic Strategies and Games on Concurrent Processes.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Michele Basaldella, Kazushige Terui	On the Meaning of Logical Completeness.	TLCA	2009	DBLP DOI BibTeX RDF
1	Pierre Boudes	Thick Subtrees, Games and Experiments.	TLCA	2009	DBLP DOI BibTeX RDF
1	Claudia Faggian, Mauro Piccolo	Partial Orders, Event Structures and Linear Strategies.	TLCA	2009	DBLP DOI BibTeX RDF
1	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	A type assignment system for game semantics.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Joachim De Lataillade	Curry-style type isomorphisms and game semantics.	Mathematical Structures in Computer Science	2008	DBLP DOI BibTeX RDF
1	Yannick Delbecque, Prakash Panangaden	Game Semantics for Quantum Stores.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Yannick Delbecque	A Quantum Game Semantics for the Measurement Calculus.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Joachim De Lataillade	Second-order type isomorphisms through game semantics.	Ann. Pure Appl. Logic	2008	DBLP DOI BibTeX RDF
1	James Laird	A game semantics of names and pointers.	Ann. Pure Appl. Logic	2008	DBLP DOI BibTeX RDF
1	Chrysida Galanaki, Panos Rondogiannis, William W. Wadge	An infinite-game semantics for well-founded negation in logic programming.	Ann. Pure Appl. Logic	2008	DBLP DOI BibTeX RDF
1	Samuel Mimram	Presentation of a Game Semantics for First-Order Propositional Logic	CoRR	2008	DBLP BibTeX RDF
1	Ilya Mezhirov, Nikolai K. Vereshchagin	On Game Semantics of the Affine and Intuitionistic Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
1	Ugo Dal Lago, Olivier Laurent	Quantitative Game Semantics for Linear Logic.	CSL	2008	DBLP DOI BibTeX RDF
1	Olivier Delande, Dale Miller	A Neutral Approach to Proof and Refutation in MALL.	LICS	2008	DBLP DOI BibTeX RDF	neutral approach, linear logic, game semantics
1	Alexis Saurin	Towards Ludics Programming: Interactive Proof Search.	ICLP	2008	DBLP DOI BibTeX RDF	Ludics, Proof Normalization, Interaction, Logic Programming, Game Semantics, Proof Search
1	Nitin Gupta 0003, Alan J. Demers, Johannes Gehrke	SEMMO: a scalable engine for massively multiplayer online games.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	scalability, virtual environments, games
1	John Longley	Interpreting Localized Computational Effects Using Operators of Higher Type.	CiE	2008	DBLP DOI BibTeX RDF
1	C.-H. Luke Ong	Verification of Higher-Order Computation: A Game-Semantic Approach.	ESOP	2008	DBLP DOI BibTeX RDF
1	Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell	On Automated Verification of Probabilistic Programs.	TACAS	2008	DBLP DOI BibTeX RDF
1	Joachim De Lataillade	Curry-style type Isomorphisms and Game Semantics	CoRR	2007	DBLP BibTeX RDF
1	Paul-André Melliès, Nicolas Tabareau	Resource modalities in game semantics	CoRR	2007	DBLP BibTeX RDF
1	Joachim De Lataillade	Second-Order Type Isomorphisms Through Game Semantics	CoRR	2007	DBLP BibTeX RDF
1	S. B. Sanjabi, C.-H. Luke Ong	Fully abstract semantics of additive aspects by translation.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, translation, aspects, game semantics, full abstraction
1	Annabelle McIver, Carroll Morgan	Results on the quantitative µ-calculus qMµ.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Angelic choice, demonic choice, minimax theorem, modal mu-calculus, probabilistic choice, quantitative aspects of programming languages, denotational semantics, game semantics
1	Michael Huth	Some current topics in model checking.	STTT	2007	DBLP DOI BibTeX RDF	Model checking, Temporal logic, Slicing, Game semantics, Feature integration, Incremental design, Refinement checking
1	Adam Bakewell, Dan R. Ghica	Game-based safety checking with Mage.	SAVCBS	2007	DBLP DOI BibTeX RDF	game models, symbolic automata, refinement, software model checking, compositional verification, data approximation
1	Johan van Benthem, Jelle Gerbrandy, Eric Pacuit	Merging frameworks for interaction: DEL and ETL.	TARK	2007	DBLP DOI BibTeX RDF
1	Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev	Asynchronous Data Path Models.	ACSD	2007	DBLP DOI BibTeX RDF
1	Ulrich Schöpp	Stratified Bounded Affine Logic for Logarithmic Space.	LICS	2007	DBLP DOI BibTeX RDF
1	Nikos Tzevelekos	Full abstraction for nominal general references.	LICS	2007	DBLP DOI BibTeX RDF
1	Mohamed Saleh, Mourad Debbabi	Verifying Security Properties of Cryptoprotocols: A Novel Approach.	SEFM	2007	DBLP DOI BibTeX RDF
1	Stefano Berardi, Makoto Tatsuta	Positive Arithmetic Without Exchange Is a Subclassical Logic.	APLAS	2007	DBLP DOI BibTeX RDF
1	Paul-André Melliès, Samuel Mimram	Asynchronous Games: Innocence Without Alternation.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation.	CSL	2007	DBLP DOI BibTeX RDF
1	Guy McCusker, David J. Pym	A Games Model of Bunched Implications.	CSL	2007	DBLP DOI BibTeX RDF