Studying Communicating Sequential Processes on top of basically asynchronous non-blocking and therefore callback based systems.