Function call と Message Passing は異なるプロセス間通信概念・手法だと思えてきた。 OOP では、Function Call を用いる。CCSやCSPや、その実装であるPromela などでは、Message Passing を用いているとか？さらに言うと、Message Passing の方が、仕様記…