The following pages link to Alberto Verdejo (Q816214):
Displaying 35 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic (Q1402473) (← links)
- Rewriting logic bibliography by topic: 1990--2011 (Q1931905) (← links)
- Declarative debugging of rewriting logic specifications (Q1931907) (← links)
- Synchronous products of rewrite systems (Q1990506) (← links)
- Parameterized strategies specification in Maude (Q2185882) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- The leader election protocol of IEEE 1394 in Maude (Q2703710) (← links)
- Equational Abstractions in Rewriting Logic and Maude (Q2797862) (← links)
- Egalitarian State-Transition Systems (Q2827838) (← links)
- A tutorial on specifying data structures in Maude (Q2850669) (← links)
- Typed mobile ambients in Maude (Q2863877) (← links)
- Deduction, strategies, and rewriting (Q2864357) (← links)
- Modular structural operational semantics with strategies (Q2866312) (← links)
- Using Maude and its strategies for defining a framework for analyzing Eden semantics (Q2866804) (← links)
- Process calculi: E-LOTOS (Q2906938) (← links)
- A Complete Declarative Debugger for Maude (Q3067479) (← links)
- Declarative Debugging of Rewriting Logic Specifications (Q3184739) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- (Q4422086) (← links)
- Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (Q4909314) (← links)
- Enhancing the Debugging of Maude Specifications (Q4933288) (← links)
- (Q5089038) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- A Declarative Debugger for Maude Functional Modules (Q5179130) (← links)
- A Rewriting Semantics for Maude Strategies (Q5179141) (← links)
- Declarative Debugging of Missing Answers for Maude. (Q5389150) (← links)
- Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070) (← links)
- Strategies and simulations in a semantic framework (Q5429558) (← links)
- The Maude strategy language (Q6113021) (← links)
- QMaude: quantitative specification and verification in rewriting logic (Q6174537) (← links)
- Strategies, Model Checking and Branching-Time Properties in Maude (Q6486043) (← links)
