Writing Concurrent Java Programs Based on CafeOBJ Specifications.

Xuan-Linh Ha, Kazuhiro Ogata

Browse the full APSEC paper archive.