Verifying Performance Equivalence for Timed Basic Parallel Processes. - Béatrice Bérard; Anne Labroue; Philippe Schnoebelen (FoSSaCS, 2000)

An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. - Anne Labroue; Philippe Schnoebelen (Nord. J. Comput., 2002)