"Theory and Implementation of a Real-Time Extension to the pi-Calculus."

Ernesto Posse, Jürgen Dingel (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics