Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation

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]

Abstract

Abstract is missing.