Specifying and Verifying Parametric Processes

Specifying and Verifying Parametric Processes

Wiesaw Pawowski
Pawe Paczkowski
Stefan Sokoowski

In 6th NWPT, pages 317-331


A framework in which processes parametrized with other processes can be specified, defined and verified is introduced. Higher order process-parameters are allowed. The formalism resembles typed lambda calculus built on top of a process algebra, where specifications play the role of types. A proof system for deriving judgements ``parametric process meets a specification'' is given.

Institute of Computer Science, Polish Academy of Sciences, Gdansk, / Department of Computing Science, Chalmers University of Technology, Göteborg, / Institute of Mathematics, University of Gdansk.

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page