Pointed to me By Denis Nicole (I've bought one): CONCURRENCY, = State Models & Java Programs. = Magee & Kramer. = April 1999. = ISBN 0-471-98710-7 http://www-dse.doc.ic.ac.uk/concurrency/ Contains CD with: o LTSA (Labeled Transition System Analyzer) (written in Java) = o Model-language: FSP (Finite State Process) Based on CSP. o Implementations: Low-level(?) Java Oh, dear, had we known about this book at the conference, we might have had even more to talk about! -- = |=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D|=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D| | Oyvind Teig | oyvind.teig@autronica.no | | Navia Maritime AS, division Autronica | oyvind.teig@computer.org | | 7005 Trondhem | http://www.navia.no | Tel:+47 73 58 12 68 | | Norway |http://www.autronica.no | Fax:+47 73 91 93 20 | |=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D|=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D|=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D|