［古本］状態：並上
著者/訳者名 Ｄａｖｉｄ Ｃ．Ｂｌａｃｋ／〔著〕 Ｊａｃｋ Ｄｏｎｏｖａｎ／〔著〕 中西早苗／訳 河原林政道／監修 柿本勝／監修
出版社名 丸善 (ISBN：4-621-07727-9)
発行年月 2006年06月
20090909
ＳｙｓｔｅｍＣを使ったシステム設計の概要
ＴＬＭベース設計手法
ＳｙｓｔｅｍＣの概要
データタイプ
モジュール：ＳＣ＿ＭＯＤＵＬＥ
時間の概念
並列性：プロセスとイベント
基本チャネル
チャネルの評価と更新：ＳＣ＿ＳＩＧＮＡＬＳ
構造：設計階層
通信：ポート
ポートに関する更なるトピックス：特殊化ポートとｓｃ＿ｅｘｐｏｒｔ
カスタムチャネルとデータ：プリミティブチャネルと階層チャネル
上級者向けトピックス：クロック、クロック同期のスレッド、プログラム可能な階層、信号トレース、動的プロセス
その他のトピックス：性能、その他のヒント
