[time 488] A n-latice of bisimulations


Stephen P. King (stephenk1@home.com)
Sat, 24 Jul 1999 23:50:05 -0400


Dear Matti and friends,

In [time 478] I described the following:

        ... -->x1 --> x2--> ... Time
                | |
        ... |g |h ...
                | |
        ... <--i2 <-- i1<-- ... Logic

   where g and h are infomorphic bisimulations...

        That would it look like if the above structure was just a closed
segment in a n-dimensional lattice or a random n-graph?

Onward!

Stephen



This archive was generated by hypermail 2.0b3 on Sun Oct 17 1999 - 22:36:57 JST