ソフトウェア基礎科学
ソフトウェア基礎科学（2006年度） 担当教員：小林直樹(内線7177)，住井英二郎 講義日：金曜３時限 講義室：情報科学研究科棟中講義室 休講の予定：1/19（金） 成績：試験とレポートで総合的に判断する。 試験は，2/2（金）13:00～14:30に中講義室にて行う。ノート等の持ち込みは不可。 試験の問1の解答例と講評 試験の問2～問5の解答例と解説 講義内容： 本年度は，並行プログラムや並行システムの記述・検証に用いる標準的な 計算モデルであるCCS, π計算について解説します． 講義に関する質問，問い合わせ先（小林担当分）： soft-kiso at kb dot ecei dot tohoku dot ac dot jp (at を"@"で，dot を"."でおきかえること） 教科書等： Robun Milner, Communicating and mobile systems
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Jane Hillston
http://www.cas.mcmaster.ca/~pantelv/SER4036.pdf
TCD CS Matthew Hennessy
Igor Walukiewicz: homepage
Decidability and Decomposition in Process Algebras
V_CCS.ppt
Computer Software Laboratory
Reactive Systems: Modelling, Specification and Verification - Reactive Systems Book
Oded Maler - Personal Home Page
https://www.southampton.ac.uk/~ps1a06/
Robert J. van Glabbeek
EWSCS 2007:
https://users.soe.ucsc.edu/~luca/
https://dl.acm.org/citation.cfm?id=1181800
SpringerLink - PAM: A process algebra manipulator
Trace theory - Wikipedia