A timed model for communicating sequential processes

Bibliografske podrobnosti
Main Authors: Roscoe, A, Reed, G
Format: Journal article
Izdano: 1988