Specification−oriented Semantics for Communicating Processes

ग्रंथसूची विवरण
मुख्य लेखकों: Olderog, E, Hoare, C
स्वरूप: Journal article
प्रकाशित: 1986