论文信息 - A Simple Language Supporting Angelic Nondeterminism and Parallel Composition - 字舞流文

A Simple Language Supporting Angelic Nondeterminism and Parallel Composition

Michael W. Mislove | Frank J. Oles

[1] Matthew Hennessy,et al. Full Abstraction for a Simple Parallel Programming Language , 1979, MFCS.

[2] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .

[3] Frank J. Oles. Semantics for concurrency without powerdomains , 1987, POPL '87.

[4] A. Jung,et al. Cartesian closed categories of domains , 1989 .

[5] Samson Abramsky,et al. Domain Theory in Logical Form , 1991, LICS.

[6] Michael W. Mislove. Algebraic posets, algebraic cpo's and models of concurrency , 1991 .

[7] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .

[8] Michael W. Mislove,et al. When are Order Scattered and Topologically Scattered the Same , 1984 .

[9] Jean-Pierre Jouannaud,et al. Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.