[CST-2] topics in concurrency

Matej Pfajfar mp292@cam.ac.uk
Tue, 4 Jun 2002 21:17:49 +0100 (BST)


Could someone please remind me what the definition of deadlock is, with
regards to CSP/CCS?
I got myself a bit confused ... that's what the night before exams does to
you ..

--
Matej Pfajfar
St John's College, University of Cambridge, UK

GPG Public Keys @ http://matejpfajfar.co.uk/keys
WARNING: THIS E-MAIL ACCOUNT WILL BE DELETED ON
         15/07/2002. PLEASE USE mp@cantab.net.