A Concurrency Case Study Using RAISE.

Anne E. Haxthausen, Chris George

Browse the full FM paper archive.