Pages that link to "Item:Q2849872"

The following pages link to A run-time environment for concurrent objects with asynchronous method calls (Q2849872):

Displaying 11 items.

• The rewriting logic semantics project: a progress report (Q393080) (← links)
• Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
• The rewriting logic semantics project (Q877024) (← links)
• Backwards type analysis of asynchronous method calls (Q953530) (← links)
• A rewriting logic approach to operational semantics (Q1012130) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• A system for compositional verification of asynchronous objects (Q1951610) (← links)
• The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
• Asynchronous and deterministic objects (Q3452255) (← links)
• (Q4813012) (← links)
• Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)