Contents of "CASL Case Studies"

• *Case Studies
  • (Specifying Process Algebra in CoCASL)
    • *Author
    • *Description
    • CSP Specification
    • CCS Specification
  • (Executable Specification of an Interpreter )
    • *Author
    • *Purpose and content of the specification
    • *Tool Support
    • *Possible Improvements
    • Specification
  • (The Specification of a Warehouse)
    • *Authors
    • *Description
    • Revised Specification
    • Original Specification
  • (CASL Basic Datatypes)
    • *Authors
    • *Description
    • Specification
  • (A Specification of the Unification Algorithm in CASL)
    • *Author
    • *Description
    • Specification
• Call for Contributions
• CoFI and CASL