Schneider

Concurrent & Real-Time Systems The Csp Approach

0471623733

004.33SCH2000