-
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... -
Implementability of distributed systems described with scenarios
Distributed systems lie at the heart of many modern applications (social networks, web services, etc.). However, developers face many challenges in implementing...
