Pozivamo vas da prisustvujete zajednčkom sastanku Seminara Centra za matematiku i statistiku FTN, UNS i Novosadskog seminara MISANU.
Vreme: petak, 26.12.2025. godine u 12h
Mesto: Ogranak SANU, “Platoneum”, Nikole Pašića 6, Novi Sad
Predavač:
Prof. <eng>Nobuko Yoshida, Strachey Professor of Computing
University of Oxford, UK</eng>
https://www.cs.ox.ac.uk/people/nobuko.yoshida/
Title / Naslov: <eng>Asynchronous Global Protocols, Precisely </eng>
Sažetak:
<eng>Joint Work with Kai Pischke and Jake Masters in University of Oxford. </eng>
<eng>Asynchronous multiparty session types are a type-based framework that ensures the compatibility of components in a distributed system by specifying a global protocol. Each component can be independently developed and refined locally, before being integrated into a larger system, leading to higher quality distributed software. This talks explains the interplay between global protocols and an asynchronous refinement relation, precise asynchronous multiparty subtyping, introduced by Ghilezan and Prokic, et al [TOCL’23].
This subtyping relation locally optimises asynchronous messaging, enabling a permutation of two actions in a component while still preserving the safety and liveness of the overall composed system. In this talk we first define the asynchronous association between a global protocol and a set of local optimised specifications. We then show the main theorems– soundness and completeness of the operational correspondence of this asynchronous association. Finally we demonstrate that the association acts as an invariant to derive type soundness, session fidelity and liveness of the top-down system reusing the results from [TOCL’23].
We then demonstrate Federate Learning (TaRDIS use case) examples in [ECBS’25,ICTAC’25] by Prokic et al can be typed by our top-down system integrated with the asynchronous subtyping system, and implemented by Scribble with asynchronous optimisation. </eng>
Više informacija je na linkovima seminara
CMS seminar
http://imft.ftn.uns.ac.rs/math/cms/Seminar/GeneralSeminar
Novosadski seminar
https://www.mi.sanu.ac.rs/novi_sajt/research/seminars/novosadski.php
