The following pages link to A calculus for concurrent objects (Q6162111):
Displaying 20 items.
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- A calculus of coroutines (Q817847) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Object-based concurrent programming. ECOOP '91, Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings (Q1202011) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Aliasing models for mobile objects (Q1854530) (← links)
- (Q2723440) (← links)
- Concurrent Pattern Calculus (Q3163887) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- (Q4522244) (← links)
- Unifying Concurrent Objects and Distributed Tasks (Q4625665) (← links)
- An imperative object calculus (Q5096750) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710002) (← links)
- Dynamic Access Control in a Concurrent Object Calculus (Q5756617) (← links)
- Programming Languages and Systems (Q5902354) (← links)
- Quantaloids for concurrency (Q5947271) (← links)