TY - GEN AU - Schneider, Linda TI - Concurrent and real-time systems: the CSP approach SN - 0471623733 PY - 2000/// CY - Chichester PB - John Wiley KW - COMPUTER SCIENCE KW - CONCURRENT SYSTEMS KW - REAL-TIME SYSTEMS KW - SYSTEMS DESIGN ER -