A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems.

Graeme Smith

Browse the full FM paper archive.