Pages that link to "Item:Q1050768"

The following pages link to A more complete model of communicating processes (Q1050768):

Displaying 3 items.

• Specification-oriented semantics for communicating processes (Q1060838) (← links)
• Compositional semantics for real-time distributed computing (Q1119027) (← links)
• Variables and scopes considered formally (Q1603432) (← links)