Verification of Value-Passing Systems (1992)

by M Z Schreiber
Venue:In Proceedings of First North American Process Algebra Workshop