Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer.

D. D. Rice, Gardiner S. Stiles

Browse the full PDPTA paper archive.