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

@article{Ulidowski2004ProcessLW,
  title={Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation},
  author={Irek Ulidowski and Shoji Yuen},
  journal={J. Log. Algebr. Program.},
  year={2004},
  volume={60-61},
  pages={401-460}
}

From This Paper

Topics from this paper.