DOI,IST REx ID,Research Group,Title of publication
10.1145/3293883.3297000,6485,DaAl,Lock-free channels for programming via communicating sequential processes