A timed model for communicating sequential processes

Détails bibliographiques
Auteurs principaux: Roscoe, A, Reed, G
Format: Journal article
Publié: 1988