The following pages link to (Q2734833):
Displayed 19 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- A Maude specification of an object-oriented model for telecommunication networks (Q1608922) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Comparing Meseguer's Rewriting Logic with the Logic CRWL (Q2841300) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- (Q2851051) (← links)
- Deduction, Strategies, and Rewriting (Q2864357) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- A Declarative Debugger for Maude Functional Modules (Q5179130) (← links)