Java Threads mailing list archive

New Book: CONCURRENCY

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|