An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.

Graeme Smith

Browse the full IFM paper archive.