lmntal

LMNtalで川渡り問題を検証する

lmntal

LMNtal（エレメンタル）という並行プログラミング言語があると聞き、川渡り問題の検証に使用してみました。実行にはLMNtal専用の統合開発環境LaViTを使います。