The following pages link to Contracts for concurrency (Q846109):
Displaying 6 items.
- Beyond contracts for concurrency (Q846113) (← links)
- Flexible access control policy for SCOOP (Q846114) (← links)
- Composing atomic features (Q856903) (← links)
- Adding concurrency to smart contracts (Q2189168) (← links)
- A Module System for Domain-Specific Languages (Q2931279) (← links)
- Constraining Delimited Control with Contracts (Q5326288) (← links)