Minimal session types for the π-calculus.

Alen Arslanagic Jorge A. Pérez Anda-Amelia Palamariuc

Published in: Inf. Comput. (2024)

Keyphrases

real time
neural network
search engine
evolutionary algorithm
web search