70008-97008-97009 | Faculty of Engineering | Imperial College London Skip to main content Skip to search Skip to section menu Skip to sidebar menu View accessibility support page Imperial College London Imperial College London Imperial Alert Coronavirus (COVID-19) updates: Safety information for academic year 2021-22 Latest information for current students, staff, offer holders and applicants Main Navigation Study Close Study overview Undergraduate Top Links Courses for 2022 How to apply Fees and funding Accommodation Open days, events and visits Undergraduate prospectus Postgraduate Top Links Courses for 2022-23 Doctoral courses How to apply Fees and funding Accommodation Events and visits Study guide Faculties and departments Education centres and schools Continuing Professional Development Executive Education Living in LondonLondon’s fusion of culture, charm and career opportunities is hard to beat International studentsStudents come from over 140 different countries to study at Imperial Campus lifeExperience what it's like to be a member of the College community Research & Innovation Close Research and Innovation Partner with us At a glance Clinical Trials Business support and partnerships Consultancy Executive education A-Z services for partners Research support At a glance Resources for staff Research Office Faculty research services teams Research integrity Clinical Trials Global Imperial College Strategy 2015-2020 Faculties and departments A-Z research groups and centres Funding opportunities REF 2021 Imperial’s impactRead case studies about how Imperial research has made a difference Research newsKeep up to date with Imperial’s cutting edge discoveries EnterpriseLearn how we support entrepreneurship and help find research-driven solutions to industry challenges Be Inspired Close Be Inspired Take part Top links Schools Outreach What's on at Imperial Festival Imperial Lates Alumni events Volunteering and outreach Engage online Top links Imperial news Podcasts Imperial Magazine Imperial Stories Social media directory Staff and student volunteering Imperial magazine Societal engagement Imperial College Podcastpresented by Gareth Mitchell and the Communications & Public Affairs pod squad Imperial TodaySubscribe to our daily newsletter and receive the best stories from Imperial direct to your inbox Student blogsFind out about life on campus from our team of student bloggers About Close About The College Overview Strategy 2020-2025 Academic Strategy League tables Facts and figures College governance Sustainability Our people At a glance President Provost Alumni stories Award winners Recognising our people Equality, diversity and inclusion A - Z of Faculties and Departments Faculty of Engineering Faculty of Medicine Faculty of Natural Sciences Imperial College Business School Global ImperialWe are the UK's most international university Our campusesExplore our London locations White City CampusImperial’s research and innovation district News What's on News Give A-Z Close Faculties and departments Multidisciplinary networks, centres and institutes Research groups People finder Administration and support services Information for Close Prospective students Current students Alumni Staff Jobs at Imperial Partners and business Media Donors Parents Conference organisers Search Imperial Search Department of Computing Section Navigation Close Department of Computing Overview About Getting here Our values Our facilities Useful contacts Equality and Diversity Equality, Diversity and Culture Committee Women in Computing Athena SWAN Resources Vacancies News and events Health and safety Qualified first aiders Training requirements Theft Students Welcome Information People Academic staff Welcome to new academics Teaching fellows Research staff Administrative staff CSG Recent changes New users Students Lab regulations Staff and PhDs Services Guides Remote Access Facilities Loans Lab Workstations Theatres Help desk Policies Activities CSG Systems Activities Information Systems Activities Honorary staff Emeritus staff DeepMind scholarships Alumnus Research Artificial Intelligence Data Science Programming Languages Security Software Engineering Systems Theory and Algorithms Analysis and Verification Visual Computing Research groups listed alphabetically Prospective students Welcome Undergraduate courses BEng/MEng Computing BEng/MEng Joint Mathematics and Computer Science Postgraduate courses MSc Computing MSc Computing Science regulations MSc Advanced Computing MSc Advanced Computing regulations MSc in Artificial Intelligence MSc Artificial Intelligence regulations MSc Specialist Degrees MSc in Computing (Artificial Intelligence and Machine Learning) MSc in Computing (Management and Finance) MSc in Computing (Security and Reliability) MSc in Computing (Software Engineering) MSc in Computing (Visual Computing and Robotics) MSc in Computing (Specialisms) regulations Integrated MRes/PhD Degrees MRes AI and Machine Learning PhD FAQs Scholarships HiPEDS Centre for Doctoral Training PhD success stories PhD application guidelines AI4Health Centre for Doctoral Training Open days and taster courses COVID-19 Updates Scholarships and Bursaries Current students Undergraduate Computing: degree and course information Undergraduate degrees UG handbook Undergraduate JMC: degree and course information JMC undergraduate degrees UG handbook Postgraduate degrees and course information PG handbook PhD information PhD diary Facewall PhD 1st Year - Cohort 2020 / 2021 Undergraduate student welfare DoC student hub Scholarships and Bursaries Industry Recruit our Students Industrial placements Corporate Partnership Programme Industrial Advisory Board Membership Terms of reference Applications of Computing in Industry Prizes and sponsorship Consultancy Collaborations Outreach and Engagement Girls in Computing DoC Explains Ethics in Computing Coding for Children Bring your child to work day Outreach news and events Public Lecture Series Computing in Schools STEM Club Training Beyond the Classroom This is Engineering CSG Recent changes New users Students Lab regulations Staff and PhDs Services Guides Remote Access Facilities Loans Lab Workstations Theatres Help desk Policies Activities CSG Systems Activities Information Systems Activities Staff intranet Health and safety Qualified first aiders Training requirements Theft Students Welcome Information Home Faculty of Engineering Departments, institutes and centres Department of Computing Current students Courses 70008-97008-97009 70008-97008-97009 Concurrent Processes Module aims The course is motivated by the increasing need for a theory of concurrent process in real systems and languages. Classroom sessions will include traditional lectures and some supervised problem solving, which are designed to illustrate the principles. The lab sessions will use one of the main stream programming languages for distributed communications and protocol description languages. The course provides the theories and techniques to analyse concurrent computations based on the basic mathematics behind process algebra and their type systems. The course will look at principles of concurrent message passing programming and software, addressing specification and design of message passing languages and distributed protocols. You will learn the application areas of concurrent processes and their type systems, including actor-based programs (such as Scala), channel-based programs (such as Go), network protocols (such as SMTP/HTTP), robotics programming and microservices. More specifically students will: 1. Gain familiarity with the operational semantics and theory of concurrent processes 2. Learn the principles to evaluate various process calculi in the literature and examine their expressiveness 3. Learn a type theory of concurrency and communications in order to specify and verify message-passing communications 4. Practise concurrent processes and type theory via several applications -- network protocols, program analysis, and concurrent robotics. 5. Be able to apply the taught techniques of concurrency theories to ensure correctness of concurrent applications such as deadlock-freedom and type/communication safety. Learning outcomes After the course, students should be able to: specify message-passing controls using concurrent processes evaluate expressiveness of concurrent processes apply a basic type theory for concurrency and communications create specifications to verify concurrent programs and distributed protocols apply concurrent process theory and types to guide design and prove behavioural correctness (deadlock and liveness) create specifications for network protocols which ensure deadlock-freedom and type safety and implement the protocols Module syllabus 1. Core process calculi (the pi-calculus) a. asynchrony/synchrony b. syntax/operational semantics/example 2. Evaluation of Expressiveness a. synchronous pi-calculus b. polyadic pi-calculus c. recursive agents d. higher-order processes 3. Session types and processes a. session processes syntax/semantics b. session type specifications c. session typing system d. type -safety 4. Multiparty session types a. multiparty session protocols b. multiparty session typing system c. a domain specific language for protocols 5. Applications (b--e) will be selected depending on the students a. Network protocols (in Java) b. Scala/Dotty c. Go programming language d. F# e. Robotics programming Teaching methods 7 weeks of 2 hours of lecture + 2 hour of tutorial or lab 1 revision lecture (one hour) at the end of the course Assessments 1. a basic process calculus (syntax and semantics of the pi-calculus) (1,2 in ILOs) 2. session types (typing systems, semantics and type derivations of the session pi-calculus) (3,4,5,6 in ILOs) Both are theoretical courseworks. Students will submit their coursework electronically and TAs and I will mark and return (standard marking for theoretical courseworks). There will be the detailed feedback which will include (1) written feedback on the submissions; and (2) class-wide feedback explaining common pitfalls and suggestions for improvement. Reading list Core The Go programming language Donovan, Alan A. A., 1976- author. New York : Addison-Wesley Communicating and mobile systems : the [pi (lower case)] - Calculus / Milner, Robin. Cambridge University Press Supplementary The pi-calculus : a theory of mobile processes / Sangiorgi, Davide. Cambridge University Press A distributed pi-calculus / Hennessy, Matthew. Cambridge University Press Module leaders Professor Nobuko Yoshida Reading list View the module reading list (Leganto) Current students Undergraduate Computing: degree and course information Undergraduate degrees UG handbook Undergraduate JMC: degree and course information JMC undergraduate degrees UG handbook Postgraduate degrees and course information PG handbook PhD information PhD diary Facewall PhD 1st Year - Cohort 2020 / 2021 Undergraduate student welfare DoC student hub Scholarships and Bursaries @ICComputing Tweets by ICComputing Print Email Contact & Links Section Information Faculty of Engineering Department of Computing Imperial College London South Kensington Campus London SW7 2AZMap Get in touch Useful contacts UG admissions enquiries MSc admissions enquiries PhD admissions enquiries Quick links Job opportunities Recruit our students Outreach Computing Support Group (CSG) FollowTwitterLinked in Useful Links Information for Prospective students Alumni Jobs Partners and business Media Donors Parents Conference organisers Top links Visit Imperial Imperial and the EU Outlook 365 web access Contact the ICT Service Desk Library Blackboard Move Imperial Term dates Students Imperial students Imperial College Union Student Hub Careers Service Imperial Mobile Graduation Staff Staff main page ICIS HR Procedures Salaries Pension schemes Research support Information for new staff Imperial partners Imperial College Healthcare NHS Trust Imperial College Academic Health Science Centre Imperial College Health Partners Imperial Consultants A-Z Faculties, departments and institutes Research groups Administration and support services People finder College Information Imperial College London Address South Kensington Campus London SW7 2AZ, UK tel: +44 (0)20 7589 5111 Campuses & maps Follow Imperial Facebook Twitter You Tube Linked in Instagram Weibo Site Information Sitemap Accessibility Modern slavery statement Privacy notice Use of cookies Report incorrect content © 2022 Imperial College London Log in
