The following pages link to (Q4222994):
Displaying 6 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Typing in reflective combinatory logic (Q2498910) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
