TY - BOOK ID - 126965319 TI - Concurrent systems : formal development in CSP AU - Hinchey, Michael Gerard AU - Jarvis, Stephen PY - 1995 SN - 0077076494 9780077076498 PB - London: McGraw-Hill, DB - UniCat KW - Parallel processing (Electronic computers) UR - https://www.unicat.be/uniCat?func=search&query=sysid:126965319 AB - ER -