The following pages link to (Q3912057):
Displayed 10 items.
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- A complete axiomatic semantics of spawning (Q808281) (← links)
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- Rewrite systems on a lattice of types (Q1064065) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Partial abstract types (Q1169290) (← links)
- Extending Bachmair's method for proof by consistency to the final algebra (Q1336767) (← links)
- (Q3662598) (← links)