Zzzz

28 Jun

課題:
身近なところで、簡単な並行応答系をみつけ、
(1) その仕様をπ計算で記述し、
(2) またその実装もπ計算で記述し、
(3) それらの観測等価性を証明なさい。締め切り:7/31
提出方法:1階レポートボックスに紙で提出のこと。
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…?

Leave a Reply

© 2018 Zzzz | Entries (RSS) and Comments (RSS)

wordpress logo