A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS - MIRELA ANDREEA COSTEA (2018)
Ph.D