Zzzz

課題：
身近なところで、簡単な並行応答系をみつけ、
(1) その仕様をπ計算で記述し、
(2) またその実装もπ計算で記述し、
(3) それらの観測等価性を証明なさい。締め切り：7/31
提出方法：１階レポートボックスに紙で提出のこと。
Project:
Find a simple concurrent, reactive system from your daily life,
(1) describe a specification in pi-calculus,
(2) also describe an implementation in pi-calculus,
(3) and prove observational equivalence between them.Deadline: 31 July
Submission: by paper into the report mailbox on the 1st floor.

I hate this crap.

Why am I taking this class…?