sJava

[Oyvind Teig <Oyvind.Teig@xxxxxxxxxxxx>]

Here is a letter I received. Petitpierre has earlier written
an article about his sC++ in IEEE Computer, Sept98, which
was very interesting. Now sJava is here. I proposed to him that
he joins CPA-2000.

--

To Mr. Oyvind Teig,

I have read your paper published in the June issue 
of embedded systems and found it largely in resonance 
with what we are doing.
I particularly agree in seeing synchrony not as a 
hindrance, but a simplification, although
it is not considered that way by many people.
As far as we are concerned, we have developed 
a version of Java that implements
inter-object calls synchronized according to
the CSP or CCS pattern. Using method calls instead of
channels greatly simplifies the encoding of the messages,
which are thus simply represented by the method parameters.
Our approach is displayed on ltiwww.epfl.ch/sJava

Best Regards,
C. Petitpierre

-- 
Oyvind
(------------------------------------------------------------------(
)       Oyvind Teig )          oyvind.teig@xxxxxxxxxxxx ) Tel: +47 )
( Navia Maritime AS (          oyvind.teig@xxxxxxxxxxxx ( 73581268 (
)    div. Autronica )                                   ) Fax: +47 )
(    7005 Trondheim (           http://www.autronica.no ( 73581001 (
)            Norway )                                   )          )
(------------------------------------------------------------------(
) 4May2000:Part of world's largest company in maritime electronics )
( http://www.kongsberg.com/        http://www.kongsberg-gruppen.no (
(------------------------------------------------------------------(
)                    http://www.autronica.no/pub/tech/rd/index.htm )
(------------------------------------------------------------------(