The following pages link to (Q3779721):
Displaying 6 items.
- Algebraic specification of concurrent systems (Q914405) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Toward a model for shared data abstraction with performance (Q1130328) (← links)
- Hybrid concurrency control for abstract data types (Q1176284) (← links)
- Algebraic and functional specification of an interactive serializable database interface (Q1193602) (← links)
- (Q2767170) (← links)