Safety Interlocking as a Distributed Mutual Exclusion Problem.

Alessandro Fantechi, Anne E. Haxthausen

Browse the full FMICS paper archive.