Pages that link to "Item:Q3623819"
From MaRDI portal
The following pages link to A Look Around the Corner: The Pi-Calculus (Q3623819):
Displaying 8 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- The legal values of pi (Q762132) (← links)
- Pi: The Next Generation (Q2814665) (← links)
- How to Bake $𝜋$ (Q2952058) (← links)
- The Applied Pi Calculus (Q3177888) (← links)
- Extended pi-Calculi (Q3520306) (← links)
- Reversing Higher-Order Pi (Q3584950) (← links)
- Trustworthy Global Computing (Q5394802) (← links)