Synthesis of distributed testers from true-concurrency models of reactive systems

Claude Jard. Synthesis of distributed testers from true-concurrency models of reactive systems. Information \& Software Technology, 45(12):805-814, 2003. [doi]

Abstract

Abstract is missing.