Pages that link to "Item:Q864504"

The following pages link to The SL synchronous language, revisited (Q864504):

Displaying 2 items.

• A synchronous \(\pi\)-calculus (Q2381508) (← links)
• On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)