Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet. Slicing Communicating Automata Specifications for Efficient Model Reduction. In 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia. pages 191-200, IEEE Computer Society, 2007. [doi]
Abstract is missing.