On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)

David Harel, Roni Rosner, Moshe Y. Vardi

Browse the full LICS paper archive.