The following pages link to (Q3919053):
Displayed 5 items.
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Partial abstract types (Q1169290) (← links)
- Two impossibility theorems on behaviour specification of abstract data types (Q1323373) (← links)
- (Q3662598) (← links)