Gypsy Specification and verification of concurrent systems software. Message passing using named mailboxes. Separately compilable units: routine (procedure, ...
確定！ 回上一頁
