Pages that link to "Item:Q816216"
From MaRDI portal
The following pages link to Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216):
Displaying 9 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
