reactive systems [Bri88,Lan90] and leading to realistic systems that involve so-. phisticated asynchronous message passing mechanisms [Tre96,HT97]. Written.
確定! 回上一頁