Pages that link to "Item:Q2414249"

The following pages link to A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249):

Displaying 1 item.

• Encoding fairness in a synchronous concurrent program algebra (Q2024348) (← links)