Unifying Heterogeneous State-Spaces with Lenses

Simon Foster, Frank Zeyda, Jim Woodcock. Unifying Heterogeneous State-Spaces with Lenses. In Augusto Sampaio, Farn Wang, editors, Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Volume 9965 of Lecture Notes in Computer Science, pages 295-314, 2016. [doi]

@inproceedings{FosterZW16,
  title = {Unifying Heterogeneous State-Spaces with Lenses},
  author = {Simon Foster and Frank Zeyda and Jim Woodcock},
  year = {2016},
  doi = {10.1007/978-3-319-46750-4_17},
  url = {http://dx.doi.org/10.1007/978-3-319-46750-4_17},
  researchr = {https://researchr.org/publication/FosterZW16},
  cites = {0},
  citedby = {0},
  pages = {295-314},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
  editor = {Augusto Sampaio and Farn Wang},
  volume = {9965},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-46749-8},
}