Compare commits
55 Commits
8c1054256a
...
master
| Author | SHA1 | Date | |
|---|---|---|---|
 sergey
|
318421f979 | ||
|
sergey
|
562aecc62f | ||
 partowp
|
798ca20433 | ||
|
partowp
|
0482ae66f5 | ||
|
partowp
|
96194207bf | ||
|
partowp
|
f2dd939b8c | ||
|
partowp
|
1c04675e0a | ||
|
partowp
|
fc57a27811 | ||
|
partowp
|
d8ff38f5b2 | ||
|
partowp
|
dcdbc7ebde | ||
|
partowp
|
d5a0824d13 | ||
|
sergey
|
83b4910d0e | ||
|
partowp
|
dde56ad7d8 | ||
|
partowp
|
475852ed68 | ||
|
partowp
|
bab673ddfa | ||
|
sergey
|
6002843e09 | ||
|
partowp
|
3f487629e4 | ||
|
partowp
|
7d013ddf97 | ||
|
partowp
|
01cd129e96 | ||
|
partowp
|
ff2857739a | ||
|
partowp
|
1c3ad98183 | ||
|
partowp
|
3a4231204a | ||
|
partowp
|
cd2bc67fe1 | ||
|
partowp
|
4dedba1ee5 | ||
|
partowp
|
eee6bfc547 | ||
|
partowp
|
1458958104 | ||
|
partowp
|
c6514f23b7 | ||
|
partowp
|
a52ba55ad3 | ||
|
partowp
|
0038476bbe | ||
|
partowp
|
9e1ab1f8ad | ||
|
partowp
|
1603296a85 | ||
|
partowp
|
56930bbbcc | ||
|
partowp
|
97d0b64ec3 | ||
|
partowp
|
a70e658da9 | ||
|
partowp
|
bbdb5c7272 | ||
 pouya
|
ded4370688 | ||
|
partowp
|
406fe32e54 | ||
|
partowp
|
a68964a757 | ||
|
partowp
|
6847f3ec7b | ||
|
sergey
|
e50d619a98 | ||
|
partowp
|
94ef4a72c3 | ||
|
partowp
|
32756d390b | ||
|
partowp
|
3285b1fdf6 | ||
|
partowp
|
1890051782 | ||
|
partowp
|
710908d814 | ||
|
partowp
|
139b175371 | ||
|
partowp
|
73dbac921f | ||
|
partowp
|
16b69f9a2c | ||
|
partowp
|
02b6a8dfd6 | ||
|
partowp
|
1900da7ed7 | ||
|
partowp
|
487e71294f | ||
|
partowp
|
007a0999b9 | ||
|
partowp
|
2888c0d3a5 | ||
 Pouya
|
d2a5e4d861 | ||
|
Pouya
|
4f6689a096 |
Binary file not shown.
@@ -1,2 +1,11 @@
|
||||
# coalgebraic-simulation
|
||||
|
||||
## Checklist
|
||||
|
||||
- [ ] 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?
|
||||
+1999
-693
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user