関連する形式手法
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/13 22:25 UTC 版)
「Communicating Sequential Processes」の記事における「関連する形式手法」の解説
CSP の影響を受けているその他の形式手法や仕様記述言語として、以下のものがある。 Timed CSP, リアルタイムシステム用にタイミング情報を追加したCSP Receptive Process Theory, 非同期（ブロックしない）送信操作を追加したCSP Wright, アーキテクチャ記述言語 TCOZ, Timed CSP と Object Z（オブジェクト指向を導入したZ言語）を統合したもの Circus, Z言語 と CSP を統合したもの CspCASL, CASL に CSP を統合したもの
※この「関連する形式手法」の解説は、「Communicating Sequential Processes」の解説の一部です。
「関連する形式手法」を含む「Communicating Sequential Processes」の記事については、「Communicating Sequential Processes」の概要を参照ください。
ウィキペディア小見出し辞書の「関連する形式手法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 関連する形式手法のページへのリンク
