Pages that link to "Item:Q854164"
From MaRDI portal
The following pages link to Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164):
Displayed 8 items.
- Lazy behavioral subtyping (Q710675) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- A Theory of Bounded Fair Scheduling (Q5505612) (← links)