Forward and Backward Simulations. Part I: Untimed Systems

Open Access
Authors
  • N.A. Lynch
  • F.W. Vaandrager
Publication date 1995
Journal Information and Computation
Volume | Issue number 121 | 2
Pages (from-to) 214-233
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at https://doi.org/10.1006/inco.1995.1134
Downloads
Permalink to this page
Back