Pages that link to "Item:Q5925542"
From MaRDI portal
The following pages link to Session-typed concurrent contracts (Q5925542):
Displaying 5 items.
- Beyond contracts for concurrency (Q846113) (← links)
- Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020 (Q2141295) (← links)
- Adding concurrency to smart contracts (Q2189168) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311495) (← links)
- Stateful manifest contracts (Q5370886) (← links)