Today in Grolog, 14:15-16:00 CET: @m4lvin Gattinger . Title: Protocols for Unreliable Dynamic Gossip. Joint work with Line van den Berg. Related publication: https://t.co/xXn3i89kEK Please PM or mail me for the Zoom-link if you are not a Grolog member. Y
Dynamic Logic. New Trends and Applications
Springer International Publishing