[an error occurred while processing this directive]
<meta NAME="ROBOTS" CONTENT="index,follow">
<meta NAME="keywords" CONTENT=" processes, distributed, specification, understanding, components, abstraction, sequential, parallel, nondeterminism, course, systems, interfaces, communication, models, process, interaction, levels, refinement, concurrency, department, composition, mathematics, data, state, communicating, representing, encapsulation, correctness, interleaving, behavioural, concurrent, asynchronous, attractive, constraints, prerequisites, independence, university, combination, objectives, applications, synchronous, requirements, behaviour, execution, replication, practical, properties, intuitive, termination, specifying, remaining, mechanisms, familiarity, language, powerful, algebraic, engineering, supports, preparation, alphabets, interrupts, computer, students, algorithms, equipped, contents, modelling, machines, internal, external, liveness, refusals, exercises, including, creation, protocols, changing, renaming, science, channels, develop, indexing, abstract, timeouts, critical, context, dynamic, theory, discrete, software, oxford, places, deeper, better, design, events, polling, studies, choice, safety, caching, traces, objects, classes, threads, static, mobile, hiding, shared, inter, values, output, dates, based">
<meta name="DESCRIPTION" content="Concurrency and Distributed Systems course The language of Communicating Sequential Processes (CSP) is a powerful tool for understanding concurrent behaviour It models parallel execution and inter process communication, it supports a practical theory of correctness and refinement, and it is attractive and intuitive to use in specification ">


<meta name="Edited" content="Wed, 21 May 2025 16:45:02 GMT">
<meta name="Published" content="Wed, 21 May 2025 16:45:06 GMT">

<title>Software Engineering at Oxford | Concurrency and Distributed Systems ( CDS )</title>

<!-- icon -->
<link rel="shortcut icon" type="image/ico" href="../favicon.ico">

<script src="https://ssl.google-analytics.com/urchin.js" type="text/javascript"></script>
<script type="text/javascript">_uacct = "UA-1306673-1";urchinTracker();/*UA-579489-1*/</script>
<META name="verify-v1" content="CwYQSB0rDIbG5v7tQy+2xKxvNEoOxCNSFYYF7mSW7bo=" />
[an error occurred while processing this directive]

<div id="breadcrumb">
   
   <ul class="mainnav">
      <li>
         <a href="/">Computer Science</a></li><li><a href="/softeng/">Software Engineering</a>
      </li>
      <li>
         <a href="/softeng/courses/">Courses</a>
      </li>
      <li>
         <a href="/softeng/courses/subjects.html">Subjects</a>
      </li>
      <li>
         <span class="youarehere">Concurrency and Distributed Systems ( CDS )</span>
      </li>
   </ul>
</div>


<!--
<span id="headerItem">
  <a href="../programme/contact.html" title="Contacts">Contact</a> | 
  <a href="../search/search.jsp" title="Search">Search</a> |
  <a href="../sitemap.html" title="Sitemap">Site map</a> | 
  <a href="https://www.softeng.ox.ac.uk/signin/" title="Sign in">Sign
  in</a>
</span>
-->

<div id="content">

<h1 style="vertical-align:middle"><img align="middle" valign="middle" style="vertical-align:middle" border="0" src="../images/CDS.jpg"> Concurrency and Distributed Systems</h1>
      <div>
	
	<p>The language of Communicating Sequential Processes (CSP) is a
powerful tool for understanding concurrent behaviour.  It models
parallel execution and inter-process communication, it supports a
practical theory of correctness and refinement, and it is attractive
and intuitive to use in specification.</p>
<h4>Course dates</h4>
<center>
<table style="margin-left: 20px" width="95%">
<tr><td width="22%" valign="top">9th June 2025</td><td valign="top">Oxford University Department of Computer Science - Held in the Department</td><td valign="top" width="33%">&nbsp;0 places remaining.</td></tr>
</table>
</center>
<h4>Objectives</h4>
<p>At the end of the course, students will have a deeper understanding
of concurrency.  They will be better equipped to design and develop
distributed systems.</p>
<h4>Contents</h4>
<p><dl>
<dt><span>Events and processes:</span></dt>
<dd>models of concurrency; representing communication and interaction; components and interfaces; behavioural and state-based specification; levels of abstraction.</dd>
<dt><span>Interaction:</span></dt>
<dd>state machines; internal and external choice; nondeterminism; safety and liveness constraints; algebraic properties; traces and refusals; process refinement.</dd>
<dt><span>Concurrency:</span></dt>
<dd>parallel combination; specifying interfaces; static alphabets; refinement in context; dynamic process creation and mobile code.</dd>
<dt><span>Abstraction:</span></dt>
<dd>changing levels of abstraction; mechanisms: interleaving, renaming, and hiding; abstraction and nondeterminism; encapsulation and refinement.</dd>
<dt><span>Communication:</span></dt>
<dd>shared channels; synchronous and asynchronous communication; modelling values and state; input and output; indexing and replication; data independence.</dd>
<dt><span>Sequential composition:</span></dt>
<dd>distributed termination; sequential composition of parallel components; abstract data types; processes and state; polling, interrupts, and timeouts.</dd>
<dt><span>Applications:</span></dt>
<dd>case studies and exercises, including: communication protocols; critical systems; caching algorithms; objects, classes, and threads.</dd>
</dl></p>
<h4>Requirements</h4>
<p><p>There are no prerequisites for this course, although some familiarity with discrete mathematics would be useful: <a href="http://www.softeng.ox.ac.uk/subjects/SEM.html">Software engineering mathematics</a> would be an ideal preparation.</p></p>

	
      </div>

<br>

    
[an error occurred while processing this directive]

<!--  mainnav div starts -->
<div id="nav">     
 <h2 id="mainsections">Main sections</h2>
 
 <h2 id="inthissection">Programme</h2>
 <ul class="mainnav" >
  <li>
   <a href="../" title="Return to the Home page" class="menu" >Home</a>
  </li>
  <li>
   <a href="../programme/index.html" title="About the programme" class="menu">About</a>
  </li>
  <li>
   <a href="../programme/history.html" title="The history of the Programme"  class="menu">History</a>
  </li>
  <li>
   <a href="../programme/people.html" title="The people involved" class="menu">People</a>
  </li>
  <li>
   <a href="http://www.cs.ox.ac.uk" title="Department of Computer Science" class="menu">Department</a>
  </li>
  <li>
   <a href="../programme/contact.html" title="Getting in touch" class="menu">Contact us</a>
  </li>
  </ul>
  
  
  <h2 id="inthissection">Courses</h2>
  <ul class="mainnav">
  <li>
   <a href="../courses/" title="About the courses" class="menu">About</a>
  </li>
  <li>
   <a href="../courses/subjects.html" title="Subjects offered" class="currentsection">Subjects</a>
  </li>
  <li>
   <a href="../courses/calendar.html" title="Course dates" class="menu">Calendar</a>
  </li>
  <li>
   <a href="../courses/booking.html" title="How to book a place on a course" class="menu">Booking</a>
  </li>
  </ul>
  
  
  <h2 id="inthissection">Study</h2>
  <ul class="mainnav">
  <li>
   <a href="../study/" title="Flexible, postgraduate study" class="menu">About</a>
  </li>
  <li>
   <a href="../study/awards.html" title="Academic awards" class="menu">Awards</a>
  </li>
  <li>
   <a href="../study/fees.html" title="University fees" class="menu">Fees</a>
  </li>
  <li>
   <a href="../study/apply.html" title="How to apply" class="menu">Applications</a>
  </li>
  <li>
   <a href="../study/collegiate.html" title="Collegiate University" class="menu">Colleges</a>
  </li>
  </ul>
  
  
  <h2 id="inthissection">Resources</h2>
  <ul class="mainnav">
  <li>
   <a href="../handbook/" title="Handbook" class="menu">Handbook</a>
  </li>
  <li>
   <a href="../brochures/" title="Brochures" class="menu">Brochures</a>
  </li>
 </ul>



[an error occurred while processing this directive]