The following pages link to (Q3127246):
Displaying 9 items.
- Graph-based communication in Eden (Q526455) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Scala actors: Unifying thread-based and event-based programming (Q1004064) (← links)
- Sound and complete concolic testing for higher-order functions (Q2233484) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- (Q3384903) (← links)
- Scalable termination detection for distributed actor systems (Q5089275) (← links)
- Send to me first: Priority in synchronous message-passing (Q6099200) (← links)