Murphy, D.D.Murphy2022-03-072022-03-071992https://publica.fraunhofer.de/handle/publica/286988en004005006Intervals and actions in a timed process algebrareport