Design and prototyping of real-time systems using CSP and CML.

Hans Rischel, Hongyan Sun

Browse the full ECRTS paper archive.