Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking.

Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun

Browse the full MFCS paper archive.