TITLE     : Towards model checking a spi-calculus dialect
AUTHOR(S) : Gnesi S, Latella D, Lenzini G
TYPE      : Other
YEAR      : 2002
CODE      : 160630

*** DO NOT EDIT THIS FILE ***