From 3090215662d07dd84fc263f2a272035fd2c633a8 Mon Sep 17 00:00:00 2001 From: partowp Date: Fri, 31 Jul 2026 15:57:22 +0100 Subject: [PATCH] list --- list | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 list diff --git a/list b/list new file mode 100644 index 0000000..580c908 --- /dev/null +++ b/list @@ -0,0 +1,7 @@ +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? +Can we separate Hughes-Jacobs relator from one-sided lax relator?