The following pages link to (Q4198049):
Displaying 5 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Partial abstract types (Q1169290) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting (Q2866731) (← links)