Checking Asynchronously Communicating Components Using Symbolic Transition Systems.

Olivier Marchal, Pascal Poizat, Jean-Claude Royer

Browse the full CoopIS paper archive.