[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
New Book: CONCURRENCY
- To: java-threads@xxxxxxxxx, occam-com@xxxxxxxxx
- Subject: New Book: CONCURRENCY
- From: Oyvind Teig <Oyvind.Teig@xxxxxxxxxxxx>
- Date: Mon, 19 Apr 1999 11:37:05 +0200
- Alternate-recipient: Allowed
- X400-mts-identifier: [/PRMD=autronica/ADMD=TELEMAX/C=NO/;8711 99/04/19 11:37]
- X400-originator: Oyvind.Teig@xxxxxxxxxxxx
- X400-received: by mta mail.autronica.no in /PRMD=autronica/ADMD=TELEMAX/C=NO/; Relayed; Mon, 19 Apr 1999 11:37:05 +0200
- X400-recipients: non-disclosure:;
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!
--
|=======================================|==========================|
| Oyvind Teig | oyvind.teig@xxxxxxxxxxxx |
| Navia Maritime AS, division Autronica | oyvind.teig@xxxxxxxxxxxx |
| 7005 Trondhem | http://www.navia.no | Tel:+47 73 58 12 68 |
| Norway |http://www.autronica.no | Fax:+47 73 91 93 20 |
|===================|========================|=====================|