37 citations · 96 across the 20 of their papers we have counts for
3 papers · 1 filter
Elementary Deduction Problem for Locally Stable Theories with Normal Forms
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient a…
Bigraphical Nets
Maribel Fernández, Ian Mackie, Matthew Walker
Interaction nets are a graphical model of computation, which has been used to define efficient evaluators for functional calculi, and specifically lambda calculi with patterns. How…
Assembling the Proofs of Ordered Model Transformations
Maribel Fernández, Jeffrey Terrell
In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its o…