When multi-core and multiprocessing computers are commonplace, devising concurrent algorithm becomes the norm.
Creating concurrent algorithms that are correct and efficient relies on techniques for modelling and verifying them, as well as understanding their inherent limitations.
This seminar will study key papers at the intersection of two areas--foundations of verification and modelling and principles of distributed computing.
Credit points: 2
Creating concurrent algorithms that are correct and efficient relies on techniques for modelling and verifying them, as well as understanding their inherent limitations.
This seminar will study key papers at the intersection of two areas--foundations of verification and modelling and principles of distributed computing.
Credit points: 2