Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago. Strand spaces with choice via a process algebra semantics. 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 76-89, ACM, 2016. [doi]
Abstract is missing.