Topological Interpretation of Interactive Computation

Emanuela Merelli, Anita Wasilewska. Topological Interpretation of Interactive Computation. In Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, editors, From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Volume 11500 of Lecture Notes in Computer Science, pages 205-224, Springer, 2019. [doi]

@inproceedings{MerelliW19,
  title = {Topological Interpretation of Interactive Computation},
  author = {Emanuela Merelli and Anita Wasilewska},
  year = {2019},
  doi = {10.1007/978-3-030-31514-6_12},
  url = {https://doi.org/10.1007/978-3-030-31514-6_12},
  researchr = {https://researchr.org/publication/MerelliW19},
  cites = {0},
  citedby = {0},
  pages = {205-224},
  booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday},
  editor = {Ezio Bartocci and Rance Cleaveland and Radu Grosu and Oleg Sokolsky},
  volume = {11500},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-31514-6},
}