Pages that link to "Item:Q1144920"

The following pages link to Transformational semantics for concurrent programs (Q1144920):

Displaying 3 items.

• A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
• Partial abstract types (Q1169290) (← links)
• Denotational semantics of communicating processes based on a language for applicative multiprogramming (Q1838282) (← links)