A timed model for communicating sequential processes

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Roscoe, A, Reed, G
Формат: Journal article
Хэвлэсэн: 1988