TITLE     : Process algebraic operators for ASMs
AUTHOR(S) : Bolognesi T, Boerger E
TYPE      : Conference article
YEAR      : 2002
CODE      : 91585

*** DO NOT EDIT THIS FILE ***