Pages that link to "Item:Q2423752"

The following pages link to A stable non-interleaving early operational semantics for the pi-calculus (Q2423752):

Displaying 2 items.

• Preface to the special issue on open problems in concurrency theory (Q2096427) (← links)
• Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)