Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Formalization of weak bisimilarity added.
Changeset 7592:c87cc2057d9c by tjark weber _tjark.weber@it.uu.se_:
Formalization of weak bisimilarity added.
The file was addedthys/Modal_Logics_for_NTS/Weak_Bisimilarity_Implies_Equivalence.thy
The file was addedthys/Modal_Logics_for_NTS/Weak_Equivalence_Implies_Bisimilarity.thy
The file was addedthys/Modal_Logics_for_NTS/Weak_Formula.thy
The file was addedthys/Modal_Logics_for_NTS/Weak_Logical_Equivalence.thy
The file was addedthys/Modal_Logics_for_NTS/Weak_Transition_System.thy
The file was addedthys/Modal_Logics_for_NTS/Weak_Validity.thy
The file was modified thys/Modal_Logics_for_NTS/Formula.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/Nominal_Bounded_Set.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/ROOT (diff)