(no subject)

From: vanessa goyal (vanessa_goyal@rediffmail.com)
Date: Sat May 26 2001 - 12:35:00 MDT

Next message: Fabio Somenzi: "Removing State Variables"

Previous message: Roderick Bloem: "Counterexamples and inputs"
Next in thread: Roderick Bloem: "Re: (no subject)"
Maybe reply: Roderick Bloem: "Re: (no subject)"
Reply: Fabio Somenzi: "Removing State Variables"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Sir
In the example of ARBITER three controllers have register for passtoken variable. There are no states in which more than one passtoken will be set.
so we can remove such states and reduce state space.
Is it possible in VIS?
thanking you
vanessa

_____________________________________________________
Chat with your friends as soon as they come online. Get Rediff Bol at
http://bol.rediff.com

Next message: Fabio Somenzi: "Removing State Variables"
Previous message: Roderick Bloem: "Counterexamples and inputs"
Next in thread: Roderick Bloem: "Re: (no subject)"
Maybe reply: Roderick Bloem: "Re: (no subject)"
Reply: Fabio Somenzi: "Removing State Variables"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Sat May 26 2001 - 12:34:45 MDT