Pages that link to "Item:Q5262945"
From MaRDI portal
The following pages link to Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures (Q5262945):
Displaying 8 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Closures of may-, should- and must-convergences for contextual equivalence (Q991760) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- (Q5020947) (← links)
- Structural Rewriting in the pi-Calculus. (Q5240137) (← links)
