Natural Semantics for Non-Determinism (1993)

Cached

Download Links

by Andrew Moran
Citations:2 - 0 self

Active Bibliography

20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
8 Making Choices Lazily – John Hughes, Andrew Moran - 1995
11 A domain equation for refinement of partial systems – Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt
2 Non-Determinism in a Functional Setting (Extended Abstract) – C.-H. Luke Ong - 1993
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
Contents – unknown authors
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
14 A non-deterministic call-by-need lambda calculus – Arne Kutzner, Manfred Schmidt-Schauß - 1998
6 A Fully Abstract Semantics for a Nondeterministic Functional Language With Monadic Types – Alan Jeffrey - 1995
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
1 lambda-Calculus, Multiplicities and the pi-Calculus – Gérard Boudol, Cosimo Laneve, Cosimo Laneve - 1995
On the representation of McCarthy’s ambin the π-calculus – Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi - 2004
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
5 Algebraic Domains, Chain Completion and the Plotkin Powerdomain Construction – Peter Knijnenburg - 1993
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999