Pages that link to "Item:Q3163402"

The following pages link to The Role of Auxiliary Variables in the Formal Development of Concurrent Programs (Q3163402):

Displaying 2 items.

• Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
• Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)