The following pages link to Beyond contracts for concurrency (Q846113):
Displaying 7 items.
- Contracts for concurrency (Q846109) (← links)
- Flexible access control policy for SCOOP (Q846114) (← links)
- Composing atomic features (Q856903) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- Adding concurrency to smart contracts (Q2189168) (← links)
- A CSP model of Eiffel's SCOOP (Q2461537) (← links)
- (Q3795188) (← links)