Applause: Application & Assessment of Parallel Programming Using Logic.
Liang-Liang LiMike ReeveKees SchuermanAndré VéronJacques BelloneClaudine PradellesAngelos KolokourisTakis StamatopoulosDominic A. ClarkChristopher J. RawlingsJack ShiraziGiuseppe SarduPublished in: PARLE (1993)