Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.

Lara Stoltenow, Barbara Knig, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas

Browse the full CONCUR paper archive.