The I C-bus in discrete-time process algebra (1996)

by S H J Bos, M A Reniers
Venue:Science of Computer Programming