Pages that link to "Item:Q880987"

The following pages link to Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987):

Displaying 4 items.

• The rewriting logic semantics project (Q877024) (← links)
• An algebraic semantics for MOF (Q973052) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)