A Process Calculus II

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Equational Laws
  • Static Laws
  • Dynamic Laws
  • Non-Laws
  • The Expansion Law
  • Equivalence of Agents
  • Experimenting upon Agents
  • Strong Bisimulation
  • Strong Equivalence
  • Properties of Strong Equivalence
  • Strong Congruence
  • Bisimulation and Observation Equivalence
  • Weak Bisimulation and Observation Equivalence
  • Examples
  • Properties of Bisimulation
  • Observation Congruence
  • Summary
    • Author: Wolfgang Schreiner
    Last Modification: June 8, 1998
    [Up] [RISC-Linz] [University] [Search]