Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) (1998)

by Marcelo Fiore , Kohei Honda
Venue:IN PROCEEDINGS O.F LICS'98. IEEE COMPUTER
Citations:4 - 1 self

Active Bibliography

59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
29 Sequentiality and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2001
48 Algorithmic Game Semantics – Samson Abramsky - 2001
30 Strong Normalisation in the π-Calculus – Nobuko Yoshida, Martin Berger, Kohei Honda - 2001
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
1 Processes and Games – Kohei Honda - 2003
52 Secure Information Flow as Typed Process Behaviour – Kohei Honda, Vasco Vasconcelos, Nobuko Yoshida - 2000
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
1 On Behavioural Interpretation of Types in Name Passing Calculi (extended ) – Kohei Honda
1 Behavioural Subtyping in Name Passing Synchronisation Trees – Kohei Honda - 1999
86 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
4 Genericity and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2003
32 A Semantic analysis of control – James David Laird - 1998
4 Axioms for Definability and Full Completeness – Samson Abramsky - 2000
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
2 Full abstraction for Reduced ML – Andrzej S. Murawski, Nikos Tzevelekos - 2009
3 Game semantics for an object-oriented language – Nicholas Wolverson - 2008
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999