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 5 items.
- 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)
- A Theory of Bounded Fair Scheduling (Q5505612) (← links)