Checking Refinement of Asynchronous Programs Against Context-Free Specifications.

Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

Browse the full ICALP paper archive.