Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson. Iterated process analysis over lattice-valued regular expressions. In James Cheney, Germán Vidal, editors, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. pages 132-145, ACM, 2016. [doi]
Abstract is missing.