Pages that link to "Item:Q3765233"

The following pages link to A Theory of Communicating Sequential Processes (Q3765233):

Displaying 3 items.

• Basic observables for processes (Q1286368) (← links)
• Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
• Journeys in non-classical computation I: A grand challenge for computing research (Q5492115) (← links)