(prot_a_async_i_am_off, prot_a_async_broadcast): Removed.
(prot_a_async_send_message): The recipient is now a Conf_no, not necessarily a Pers_no.
Please register or sign in to comment
(prot_a_async_send_message): The recipient is now a Conf_no, not necessarily a Pers_no.