A Native Approach to Modeling Timed Behavior in the Pi-Calculus.

Kamal Barakat, Stefan Kowalewski, Thomas Noll

Browse the full TASE paper archive.