Behavioural Equivalences over Migrating Processes with Timers.

Bogdan Aman, Gabriel Ciobanu, Maciej Koutny

Browse the full FORTE paper archive.