Pages that link to "Item:Q3507444"

The following pages link to Implementing Spi Calculus Using Nominal Techniques (Q3507444):

Displaying 5 items.

• Unique solutions of contractions, CCS, and their HOL formalisation (Q2216120) (← links)
• Formalising Observer Theory for Environment-Sensitive Bisimulation (Q3183528) (← links)
• (Q3384919) (← links)
• On bisimulations for the spi calculus (Q5462665) (← links)
• Psi-calculi in Isabelle (Q5890661) (← links)