Pages that link to "Item:Q5096249"

The following pages link to An algebraic view of interleaving and distributed operational semantics for CCS (Q5096249):

Displaying 3 items.

• Location equivalence in a parametric setting (Q672708) (← links)
• On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
• Proved trees (Q5204353) (← links)