A timed model for communicating sequential processes

Podrobná bibliografie
Hlavní autoři: Roscoe, A, Reed, G
Médium: Journal article
Vydáno: 1988