Specifying and Verifying Parametric Processes
Specifying and Verifying Parametric Processes
Wies
aw Pawowski
Pawe Paczkowski
Stefan
Sokoowski
In 6th
NWPT, pages 317-331
Abstract:
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.
Comments
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]](http://www.daimi.aau.dk/BRICS/GIF/BRICS/msymbol8mm.GIF)
BRICS WWW home page