Pages that link to "Item:Q1608917"
From MaRDI portal
The following pages link to Maude: specification and programming in rewriting logic (Q1608917):
Displayed 21 items.
- Maude (Q18367) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)