Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version).

David Harel, Eli Singerman

Browse the full ICALP paper archive.