The following pages link to (Q2851059):
Displayed 11 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Coding Mobile Synchronizing Petri Nets into Rewriting Logic (Q2864520) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)