A timed model for communicating sequential processes

Bibliographic Details
Main Authors: Roscoe, A, Reed, G
Format: Journal article
Published: 1988