A Resource Synchronization Protocol for Multiprocessor Real-Time Systems. - Chia-Mei Chen; Satish K. Tripathi; Alex Blackmore (ICPP (3), 1994)