7 citations · 25 across the 16 of their papers we have counts for
3 papers · 1 filter
Most General Variant Unifiers
Santiago Escobar, Julia Sapiña
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. Equational unification…
Symbolic Analysis of Maude Theories with Narval
María Alpuente, Demis Ballis, Santiago Escobar +1
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…
Strand Spaces with Choice via a Process Algebra Semantics
Fan Yang, Santiago Escobar, Catherine Meadows +1
Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we addre…