A Process Calculus II

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, 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
  • References
    • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine