Splitting bisimulations and retrospective conditions

Authors
Publication date 2006
Journal Information and Computation
Volume | Issue number 204 | 7
Pages (from-to) 1083-1138
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at https://doi.org/10.1016/j.ic.2006.03.003
Permalink to this page
Back