Irek Ulidowski, Shoji Yuen. Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. Journal of Logic and Algebraic Programming, 60-61:401-460, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.