Process Algebra Compiler

These pages have been checked for HTML3 compliance with Arena

Author: Eric Madelaine

Introduction

Blaa blaaa...

FTP

  • INRIA-PAC SunOS binaries Incomplete prototype, but the syntax is fixed now, so you can use it to check your Algebra specifications (syntax and SOS definitions)
  • more to come...

    • User Manuals

  • Introduction, and more detailed image
  • INRIA-PAC User Manual
  • NCSU-PAC User Manual
  • Translators

    • Biblio

  • A Front-End Generator For Verification Tools:
    Tacas Workshop, Aarhus 1995 (postscript, 303K); or INRIA RR-2612
  • Priorities for modelling and verifiying distributed systems Tacas Workshop, Passau 1996

    • Software Architecture

    If you have a browser supporting active images, you can click on any componant below to go to the corresponding description page. Only colored components are active (green for input files, orange for processors).
    Alternatively, you can use the menu items in the next section.

    Examples

    For INRIA-PAC:
  • Basic Lotos: blotos.pac, blotos.rules
  • Esterel: strl.pac, strl.rules
    • For NCSU-PAC:
  • CCS: strl.pac, strl.rules
  • Basic Lotos: blotos.pac, blotos.rules