Mechanizing CSP Trace Theory in Higher Order Logic (1990)

by A J Camilleri
Venue:IEEE Transactions on Software Engineering