Mechanizing CSP trace theory in Higher Order Logic (1990)

by A Camillieri
Venue:IEEE Transactions on Software Engineering