Introduction

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria
  • Nondeterminism and Concurrency
  • Denotational Semantics
  • Powerdomains
  • Multichoice Commands
  • The Guarded Command Language
  • Denotational Semantics
  • Denotational Semantics
  • Denotational Semantics
  • Valuation Functions
  • Example
  • Concurrency
  • Abstract Syntax
  • Examples
  • Examples
  • Examples
  • Semantic Algebras
  • Valuation Functions
  • Resumptions
  • Summary
  • References

  • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine