Peter Welch wrote: > industrial users - that hadn't! And we're still here. Somehow, we've > become invisible ... we speak and show and teach ... but nobody, not > even Brinch Hansen, can see us? Was it something we ate??? He saw us _now_, Peter! (I did send Brinch Hansen a thanks (in Norwegian - he's Danish) - and asked "by the way" where he got my name. He may have had the WoTUG-21 proceedings, the address he used is 100% equal - and it's almost the only place I've used "Autronica Ltd.") >From studying the rest of Brinch Hansenes papers last year, I was surprised to see (by also reading Hoare's monitor paper) - that Sun did not mention Brinch Hansen at all - because Hoare does give Brinch Hansen the credit. And I guess, Brinch Hansen also has a private crusade to inform the world about who "did not commit that blunder" - and probably would not care about CSP or even occam in that context. -- Aside1: I now have SPoC separate compilation up and running for the Texas DSP - since Texas now support C I/O from the target via JTAG it now can build the necessary C header stub files. I needed this, since we're porting a 30-40K occam program to a new DSP '320 platform - and there's lots of #USE in there. Aside2: I now have a FSP model of my overwriting buffer, analysed by the LTSA tool - from the Web and the Concurrency & Java book by Magee and Kramer. It does not deadlock, and all states are reachable! (I knew that beforehand - but now I can prove it to people without having to explain - just look - it says: "No deadlocks") -- |=======================================|==========================| | 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 | |===================|========================|=====================|