Basis 0.PROMELAの基本文法 1.Hello World 2.プロセスの作成 3.プロセスを実行(1) 4.プロセスを実行(2) 5.プロセスを実行(応用) 6.列挙型 7.マクロ 8.if式 9.do式 10.永久に止まるプロセス 11.プロセスのステップ 12.ステップをまとめて実行 13.プロセス間対話 14.同期通信/非同期通信 15.意外と使えるgoto 16.何もしない式 Same as C 補足1.データ型 補足2.配列 Reference 参考文献
3.プロセスを実行(1)
1 /*プロセスの実行(1)*/ 2 active proctype procname(){ 3 printf("Hello World!\n") 4 }