Pages that link to "Item:Q4236976"

The following pages link to A theory of weak bisimulation for Core CML (Q4236976):

Displaying 2 items.

• More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
• A fully abstract may testing semantics for concurrent objects (Q557787) (← links)