Mixed choice in session types.

Kirstin Peters Nobuko Yoshida

Published in: Inf. Comput. (2024)

Keyphrases

management system
real world
information systems
data sets
genetic algorithm
lower bound