-
On the use of unfoldings to abstract communicating automata into sets of scen...
We consider the problem of automatic abstraction, from a low-level model given in term of network of interacting automata to a high-level message sequence chart. This...
