Pages that link to "Item:Q1901688"

The following pages link to Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688):

Displaying 2 items.

• Proving linearizability with temporal logic (Q539223) (← links)
• Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)