Checking Asynchronously Communicating Components Using Symbolic Transition Systems
['Olivier Maréchal', 'Pascal Poizat', 'Jean-Claude Royer']
Checking Asynchronously Communicating Components Using Symbolic Transition Systems