Advertisement

A simple language supporting angelic nondeterminism and parallel composition

  • Michael W. Mislove
  • Prank J. Oles
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 598)

Keywords

Semantic Model Transition Rule Atomic Action Forgetful Functor Compact Element 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abr91]
    Abramsky, S. Domain theory in logical form, Annals of Pure and Applied Logic 51 (1991), pp.1–77.CrossRefGoogle Scholar
  2. [B81]
    Barendregt, H. P. The Lambda Calculus, North-Holland Publishers (1981).Google Scholar
  3. [COMP]
    Gierz, G., et al. A Compendium of Continuous Lattices, Springer-Verlag (1981).Google Scholar
  4. [DJ90]
    Dershowitz, N. and J.-P. Jouannaud, Rewrite Systems, in: Handbook of Theoretical Computer Science, Volume B, Formal Methods and Semantics. The MIT Press / Elsevier (Cambridge, Mass. / Amsterdam) (1990), pp.243–320.Google Scholar
  5. [HP79]
    Hennessy, M. and G. Plotkin. Full abstraction for a simple parallel programming language, Lecture Notes in Computer Science 74 (1979), Spinger-Verlag.Google Scholar
  6. [Jung88]
    Jung, Achim. Cartesian closed categories of domains, Ph. D. Thesis, Technische Hochschule Darmstadt, 1988.Google Scholar
  7. [Mis82]
    Mislove, M. W. When are order scattered and topologically scattered the same?, Annals of Discrete Mathematics 23 (1982), pp. 61–80.Google Scholar
  8. [Mis91]
    Mislove, M. W. Algebraic posets, algebraic cpo 's and models of concurrency, Proceedings of the Oxford Symposium on Topology, Oxford University Press (1991), to appear.Google Scholar
  9. [MO92]
    Mislove, M. W. and F. J. Oles, A Topological Algebra for Angelic Nondeterminism, IBM Research Report RC 17344 (#76620), submitted for publication.Google Scholar
  10. [Oles87]
    Oles, F. J. The semantics of concurrency without powerdomains, Proceedings of the 14th ACM Symposium on the Principles of Programming Languages, ACM Press (1987).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Michael W. Mislove
    • 1
  • Prank J. Oles
    • 2
  1. 1.Department of MathematicsTulane UniversityNew Orleans
  2. 2.Mathematical Sciences DepartmentIBM Thomas J. Watson Research CenterYorktown Heights

Personalised recommendations