Process Logic: Expressiveness, Decidability, Completeness

David Harel, Dexter Kozen, Rohit Parikh

Browse the full FOCS paper archive.