The following pages link to Francisco Durán (Q347376):
Displaying 42 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Maude's module algebra (Q882456) (← links)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (Q997833) (← links)
- (Q1608915) (redirect page) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Structured theories and institutions (Q1884906) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude (Q2239276) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Multilevel coupled model transformations for precise and reusable definition of model behaviour (Q2423777) (← links)
- Towards Maude 2. 0 (Q2703706) (← links)
- Parameterized theories and views in full Maude 2. 0 (Q2703707) (← links)
- Polytypic programming in Maude (Q2703708) (← links)
- (Q2767191) (← links)
- Equational Abstractions in Rewriting Logic and Maude (Q2797862) (← links)
- Methods for proving termination of rewriting-based programming languages by transformation (Q2808239) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- Behaviour Protection in Modular Rule-Based System Specifications (Q2848869) (← links)
- Maude's internal strategies (Q2849581) (← links)
- Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (Q2945129) (← links)
- Two Decades of Maude (Q2945709) (← links)
- (Q2989001) (← links)
- MTT: The Maude Termination Tool (System Description) (Q3541712) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- (Q4222979) (← links)
- (Q4222990) (← links)
- (Q4222994) (← links)
- (Q4447224) (← links)
- (Q4499235) (← links)
- Error estimation for low-order adaptive finite element approximations for fluid flow problems (Q4683737) (← links)
- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (Q4933279) (← links)
- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (Q4933280) (← links)
- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (Q4933285) (← links)
- The Third Rewrite Engines Competition (Q4933291) (← links)
- GTS Families for the Flexible Composition of Graph Transformation Systems (Q5215907) (← links)
- Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (Q5389069) (← links)
- Business processes resource management using rewriting logic and deep-learning-based predictive monitoring (Q6151618) (← links)
