The following pages link to (Q4362899):
Displaying 4 items.
- Equational reasoning about nondeterministic processes (Q911801) (← links)
- A framework for operational equational specifications with pre-defined structures (Q1286447) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Computer Science Logic (Q5311286) (← links)