Pages that link to "Item:Q1758155"

The following pages link to A complete symbolic bisimulation for full applied pi calculus (Q1758155):

Displaying 1 item.

• On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)