A timed model for communicating sequential processes

Bibliografiska uppgifter
Huvudupphovsmän: Roscoe, A, Reed, G
Materialtyp: Journal article
Publicerad: 1988