Jan Jürjens  Home/Search
Context
Related
| web.comlab.ox.ac.uk/o...gamesrevd.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.comlab.ox.ac.uk/oucl/work/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Mathematical models are an important tool in the development of software technology, including programming languages and algorithms. During the last few years, a new class of such models has been developed based on the notion of a mathematical game that is especially well-suited to address the interactions between the components of a system. This paper gives an introduction to these game-semantical models of programming languages, concentrating on motivating the basic intuitions and putting... (Update)
Active bibliography (related documents): More All
5.4: Games in the Semantics of Programming Languages - An Elementary.. - Jürjens (1999) (Correct)
0.4: Boolean Games - Harrenstein, van der Hoek, Meyer.. (Correct)
0.4: Probabilistic Game Semantics - Danos, Harmer (2000) (Correct)
Similar documents based on text: More All
0.5: The Category Of Inner Models - Koepke (1999) (Correct)
0.2: Secure Java Development with UML - Jürjens (2001) (Correct)
0.1: Algebraic State Machines: Concepts and Applications to Security.. - Jürjens (Correct)
BibTeX entry: (Update)
@article{ j99,
author = {J. {J}{\"{u}}{r}jens},
title = {Games in the Semantics of Programming Languages},
journal = {Synthese (Elsevier)},
year = {},
note = {To be published},
url = {citeseer.ist.psu.edu/435743.html},
url = {http://www.jurjens.de/jan} }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
982 Theoretical Computer Science (context) - Girard, logic - 1987
306 LCF considered as a programming language (context) - Plotkin - 1977
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1992
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
144 Full abstraction for PCF - Abramsky, Jagadeesan et al. - 1994
61 Sequential algorithms on concrete data structures (context) - Berry, Curien - 1982
58 A fully abstract game semantics for general references (context) - Abramsky, Honda et al. - 1998
56 Game Theoretic Analysis of Call-by-value Computation - Honda, Yoshida - 1997
51 sharing and state: a fully abstract game semantics for IDEAL.. (context) - Abramsky, McCusker - 1997
49 Annals of Pure and Applied Logic (context) - Blass, semantics et al. - 1992
43 Game Semantics for Linear Logic (context) - Lafont, Streicher - 1991
42 Game-theoretical Semantics (context) - Hintikka, Sandu - 1997
40 Full Abstraction for Functional Languages with Control - Laird - 1997
39 Retracing some paths (context) - Abramsky - 1996
31 Concurrent Games and Full Completeness - Abramsky, Melli - 1999
29 Fair Games and Full Completeness for Multiplicative Linear L.. - Hyland, Ong - 1993
22 Full Abstraction for Idealized Algol with Passive Expression.. - Abramsky, McCusker
21 games and linear logic (context) - Lamarche - 1994
15 Dialogues as a foundation for intuitionistic logic (context) - Felscher - 1986
14 Hereditarily Sequential Functionals: A Game-Theoretic Approa.. - Nickau - 1996
13 to appear in: Information and Computation (context) - Hyland, Ong et al.
13 Non-deterministic Games and Program Analysis: An application.. - Malacaria, Hankin - 1999
11 Logik und Agon (context) - Lorenzen - 1960
10 Remarques sur la theorie des jeux a deux personnes (context) - Joyal - 1977
9 A fully abstract game semantics for finite nondeterminism - Harmer, McCusker - 1999
9 Games in the Semantics of Programming Languages - Abramsky - 1997
3 A note on Reactive Refinement (context) - Abramsky - 1999
2 Finite games for a predicate logic without contractions (context) - Mey - 1994
2 Principles of Refinement (context) - Mantel
2 accepted by: Information and Computation (context) - Abramsky, Jagadeesan et al.
2 Tarski's fixed-point theorem and higher-order term rewrite s.. - Matthes
2 contributed talk at the Marktoberdorf Summer School (context) - urjens, Refinement - 1999
2 Model Checking and Beyond: On the Analysis of Reactive Syste.. (context) - Merz
2 Categorical models of concurrency (context) - urjens, of et al. - 1999
2 Game Semantics and full abstraction for sequential programmi.. (context) - Abramsky - 1999
1 Lecture notes for the lectures at the Marktoberdorf Summer S.. (context) - Abramsky, Realizability et al. - 1999
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/jan.jurjens/): More
Secrecy-preserving Refinement - Jürjens (2001) (Correct)
Secure Information Flow for Concurrent Processes - Jürjens (2000) (Correct)
Small Objects in Categories of Algebras - Jürjens (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC