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

Hans Rischel, Hongyan Sun. Design and prototyping of real-time systems using CSP and CML. In Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, RTS 1997, 11-13 June, 1997, Toledo, Spain. pages 121-127, IEEE, 1997. [doi]

Abstract

Abstract is missing.