Discrete Time Process Algebra and the Semantics of SDL (1998)

by J. A. Bergstra , C. A. Middelburg , Y. S. Usenko
Venue:CWI REPORT SEN-R9809, CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE
Citations:8 - 5 self