The following pages link to CONCUR 2004 - Concurrency Theory (Q5311495):
Displaying 22 items.
- Checking data-race freedom of GPU kernels, compositionally (Q832190) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- A monotone framework for CCS (Q1749243) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Monitors and blame assignment for higher-order session types (Q2828298) (← links)
- A calculus of global interaction based on session types (Q2864218) (← links)
- Theoretical aspects of communication-centred programming (Q2870194) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- Affine sessions (Q4558783) (← links)
- Relating Functional and Imperative Session Types (Q5043592) (← links)
- Modular session types for distributed object-oriented programming (Q5255084) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Manifest deadlock-freedom for shared session types (Q6070799) (← links)
- Stateful Behavioral Types for Active Objects (Q6104495) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Memory access protocols: certified data-race freedom for GPU kernels (Q6632202) (← links)
