The following pages link to ITP/OCL (Q15266):
Displayed 5 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (Q5403085) (← links)
- PTL: a model transformation language based on logic programming (Q5963089) (← links)