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

Documents Related by Co-Citation

123 A fully abstract games semantics for general references – S Abramsky, K Honda, G McCusker - 1998
218 On Full Abstraction for PCF – M Hyland, L Ong - 2000
375 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
60 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
69 Full Abstraction for Functional Languages with Control – James Laird - 1997
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
1064 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
1418 A Calculus of Communicating Systems – R Milner - 1980
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990