[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

CSP, Z and Java: thesis

See http://semantik.Informatik.Uni-Oldenburg.DE/~fischer/cspoz2java.ps

This combines oz (object oriented extension of Z), CSP and Java. The
link to Java is via "jass", assertions annotating the java code.

I have barely done more that look at the contents page, but there seems
to be much overlap with WoTUG interests. 

Dr A E Lawrence (from home)