Playing with Time: On the Specification and Execution of Time-Enriched LSCs.

David Harel, Rami Marelly

Browse the full MASCOTS paper archive.