Concrete Domains (1993)

by Gilles Kahn , Inria Sophia Antipolis , Gordon D. Plotkin , George Gratzer
Venue:Theoretical Computer Science
Citations:35 - 1 self

Documents Related by Co-Citation

200 On full abstraction for PCF – J M E Hyland, C H L Ong
86 Sequential algorithms on concrete data structures – G Berry, P-L Curien - 1982
124 Trace theory – A Mazurkiewicz - 1987
27 Probabilistic event structures and domains – Daniele Varacca - 2004
117 Free Choice Petri Nets – J. Desel, J. Esparza - 1995
75 Event structure semantics for CCS and related languages – Glynn Winskel, Glynn Winskel - 1982
148 Semantic Domains – C. A. Gunter, D. S. Scott - 1990
75 Categorical combinators, sequential algorithms and functional programming – P L Curien - 1986
5 What is the logic of parallel processing – J Hintikka, G Sandu - 1995
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
50 Concurrent Games and Full Completeness – Samson Abramsky, Paul-André Melliès, Equipe De Logique Mathematique - 1998
106 Réductions Correctes et Optimales dans le Lambda Calcul, Thèse de Doctorat d’Etat – J-J Lévy - 1978
32 Theory and practice of sequential algorithms: the kernel of the applicative language CDS0 – G Berry, P-L Curien - 1985
239 Communicating and Mobile Systems: The Pi Calculus – R Milner - 1999
263 Relations in Concurrency – Glynn Winskel
62 Events in Computation – Glynn Winskel - 1980
263 An introduction to event structures – G Winskel - 1989
59 Hypercoherences: A Strongly Stable Model of Linear Logic – Thomas Ehrhard - 1993
3219 Communication and Concurrency – R Milner - 1990