This course will enable students to understand and apply theoretical foundations of programming concurrent, distributed, and mobile computing systems, namely process calculi, actors, join calculus, and mobile ambients. In the practical part, students will compare communication and synchronization aspects in concurrent programming languages following these theoretical models. Students will also review current research on distributed computing over the Internet, on topics including but not limited to coordination, mobility, heterogeneity, security, fault tolerance, scalability, programmability, and verification.
Spring | Summer | Fall | ||
---|---|---|---|---|
(Session 1) | (Session 2) | |||
2023 | ||||
2022 | ||||
2021 |
Dist Computing Over Internet (4c)
|
|||
2020 | ||||
2019 |
Distributed Computing Over The Internet (4c)
|
|||
2018 | ||||
2017 |
Distributed Computing Over The Internet (4c)
|
|||
2016 |
Distributed Computing Over The Internet (3c)
|
|||
2015 | ||||
2014 |
Distributed Computing Over The Internet (3c)
|
|||
2013 | ||||
2012 |
Distributed Computing Over The Internet (3c)
|
|||
2011 | ||||
2010 |
Distr Computing On Internet (3c)
|
|||
2009 |
Distr Computing On Internet (3c)
|
|||
2008 | ||||
2007 |