Harald Fecher
Harald Fecher.
A Real-Time Process Algebra with Open Intervals and Maximal Progress.
Nordic Journal of Computing
, 8(3):346-365, Fall 2001.
Abstract, References, etc.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database