Alpuente Frasnedo, María; Escobar Román, Santiago; Sapiña-Sanchis, Julia; Ballis, Demis(Cambridge University Press, 2019-09)
[EN] Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic ...