2008-09-11から1日間の記事一覧
久しぶりに、みなおす。最近 Acetoのamazon:Reactive Systemsにはまっていて CCSってどうやって実装されていたっけということCCS case study Maude2.0をつかって遷移ルールがかかれている 再帰方程式を素直にrewriteするととまらないのでfrozen指示子をつか…
久しぶりに、みなおす。最近 Acetoのamazon:Reactive Systemsにはまっていて CCSってどうやって実装されていたっけということCCS case study Maude2.0をつかって遷移ルールがかかれている 再帰方程式を素直にrewriteするととまらないのでfrozen指示子をつか…