The following pages link to (Q4222864):
Displaying 6 items.
- Algebraic simulations (Q844884) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Constraint logic programming for reasoning about discrete event processes (Q3988797) (← links)
- (Q4763578) (← links)
- (Q5190784) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)