Pages that link to "Item:Q4526151"

The following pages link to Elementary structures in process theory (1): Sets with renaming (Q4526151):

Displayed 4 items.

• Linearity and bisimulation (Q997996) ‎ (← links)
• Dynamic connectors for concurrency (Q1603689) ‎ (← links)
• Nominal logic, a first order theory of names and binding (Q1887151) ‎ (← links)
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) ‎ (← links)