A Process Calculus I

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria
  • A Process Calculus
  • A Simple Example
  • Behavior Descriptions
  • Behavior Descriptions
  • Bounded Buffer
  • Summation
  • Example
  • Examples
  • A Larger Example: The Jobshop
  • Flow Graphs
  • The Tools
  • The Jobbers
  • Composition of Agents
  • Further Compositon
  • Reformulations
  • Equality of Agents
  • Action and Transition
  • Composite Agents
  • Restrictions
  • Transition Graph
  • The Basic Language
  • The Transition Rules
  • Derivatives and Derivation Trees
  • Examples of Derivation Trees
  • The Value-Passing Calculus
  • References
    • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine