« Blog upgrade info | Main | Bye bye safari »
August 10, 2004
"State space reduction based on live variable analysis" by Bozga et al
[Distributed and Complex Systems Research Group] Their notion of live variable bisimulation is particularly interesting.
prior work leads
Look up references 10, 18, 4, 1. This is the firstp paper to use live variable analysis to simplify the model in the presence of queues.
Live equivalnce is, roughly, that values assigned to the live variables are pairwise equivalent.
Posted by jones at August 10, 2004 02:09 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)