A timed model for communicating sequential processes

ग्रंथसूची विवरण
मुख्य लेखकों: Roscoe, A, Reed, G
स्वरूप: Journal article
प्रकाशित: 1988