Pages that link to "Item:Q2120811"
From MaRDI portal
The following pages link to Session-based concurrency, declaratively (Q2120811):
Displaying 5 items.
- CONCUR 2004 - Concurrency Theory (Q5311495) (← links)
- Globally Governed Session Semantics (Q5891114) (← links)
- Reversible session-based concurrency in Haskell (Q6084530) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)