Pages that link to "Item:Q4691184"

The following pages link to Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184):

Displaying 3 items.

• \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
• Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
• (Q3384917) (← links)