A Process Calculus I

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 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

  • Author: Wolfgang Schreiner
    Last Modification: June 8, 1998

    [Up] [RISC-Linz] [University] [Search]