Luca Bortolussi, Mirco Tribastone. Differential analysis of interacting automata with immediate actions. In Andras Horvath, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante, editors, 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013. pages 49-58, ACM, 2013. [doi]
Abstract is missing.