Model Checking Logics for Communicating Sequential Agents.

Michaela Huhn, Peter Niebert, Frank Wallner

Browse the full FOSSACS paper archive.