From ded4370688c79ab7fb523e64d5c56d217544d29e Mon Sep 17 00:00:00 2001 From: pouya Date: Thu, 13 Aug 2026 18:54:41 +0200 Subject: [PATCH] Update README.md The list added as readme! --- README.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d1f3c3c..913f730 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,10 @@ ## Checklist -- [ ] Item 1 -- [ ] Item 2 -- [ ] Item 3 +- [ ] Introduce HJ-simulation in relator-form, show uniqness of wittnesses. +- [ ] Prove a general theorem that symmetric simulation for symmetrized relator yields similarity that is sound and complete for behavioral equivalence (use "Relators and Notions of Simulation Revisited" soundness and compteleness criterion). +- [ ] Elaborate this for powerset +- [ ] When is symmetrized relator the Barr relator (definition is in "Relators and Notions of Simulation Revisited")? +- [ ] At least, try to prove it for the Jacobs-Hughes relator +- [ ] Introduce notions of simulation, diverging from HJ-simulation. Do we need two of them (with normalization and without)? How are all of them related? +- [x] Can we separate Hughes-Jacobs relator from one-sided lax relator? \ No newline at end of file