[time 842] Re: [time 841] What does an LS observe?

Thu, 30 Sep 1999 22:32:37 EDT

In a message dated 9/30/99 10:26:33 PM Eastern Daylight Time,
stephenk1@home.com writes:

> What we need to discuss is how LSs can "simulate"
> each others behavior! Bisimulation is a pair of systems simulating each
> other...

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