Infinite-State High-Level MSCs: Model-Checking and Realizability.

Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun

Browse the full ICALP paper archive.