Thu, 30 Sep 1999 22:32:37 EDT
In a message dated 9/30/99 10:26:33 PM Eastern Daylight Time,
> What we need to discuss is how LSs can "simulate"
> each others behavior! Bisimulation is a pair of systems simulating each
and Multisimulation is many systems simulating each other
This archive was generated by hypermail 2.0b3 on Sun Oct 17 1999 - 22:40:46 JST