A Real-Time Process Algebra with Open Intervals and Maximal Progress

Harald Fecher. A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nord. J. Comput., 8(3):346-365, 2001. [doi]

Abstract

Abstract is missing.