philosophy-ethicslifestyle
bisimulation-oracle
Formal oracle for behavioral equivalence. Given two systems (skills, agents, processes), decides if they are bisimilar — i.e., indistinguishable by any external observer. Implements strong bisimulation, weak bisimulation, and GF(3)-colored bisimulation games. The oracle answers YES/NO, never "probably".
maintainer
plurigrid
آخر تحديث 3/26/2026
النجوم
16
التفرعات
5
quick start
Installation and usage
Formal oracle for behavioral equivalence. Given two systems (skills, agents, processes), decides if they are bisimilar — i.e., indistinguishable by any external observer. Implements strong bisimulation, weak bisimulation, and GF(3)-colored bisimulation games. The oracle answers YES/NO, never "probably".
التثبيت
$ install --globalskills.sh
الاستخدام
بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:
skills use bisimulation-oracle