Specifying Interacting Components with Coordinated Concurrent Scenarios.

Prakash Chandrasekaran, Madhavan Mukund

Browse the full SEFM paper archive.