Open Maps and Observational Equivalences for Timed Partial Order Models

Irina Virbitskaite, Natalya S. Gribovskaja. Open Maps and Observational Equivalences for Timed Partial Order Models. Fundamenta Informaticae, 60(1-4):383-399, 2004. [doi]

@article{VirbitskaiteG04,
  title = {Open Maps and Observational Equivalences for Timed Partial Order Models},
  author = {Irina Virbitskaite and Natalya S. Gribovskaja},
  year = {2004},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=383},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/VirbitskaiteG04},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {60},
  number = {1-4},
  pages = {383-399},
}