Binary Session Types for Psi-Calculi

From MaRDI portal
Publication:3179282