Bounded MSC Communication.

Markus Lohrey, Anca Muscholl

Browse the full FOSSACS paper archive.