CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html

<!DOCTYPE html> 
<html lang='en-US' xml:lang='en-US'> 
<head><title>Course ASPD on modelling, verifying and trying to understand distributed algorithms
usd in main computer systems. </title> 
<meta charset='utf-8' /> 
<meta content='TeX4ht (https://tug.org/tex4ht/)' name='generator' /> 
<meta content='width=device-width,initial-scale=1' name='viewport' /> 
<link href='web.css' rel='stylesheet' type='text/css' /> 
<meta content='web.tex' name='src' /> 
</head><body>
<!-- l. 163 --><div class='crosslinks'><p class='noindent'>[<a href='CourseDISCONTModellingModellingSystems.html'>next</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#tailUsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev-tail</a>] [<a href='#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>tail</a>] [<a href='web.html#CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>up</a>] </p></div>
<h3 class='sectionHead' id='course-aspd-on-modelling-verifying-and-trying-to-understand-distributed-algorithms-usd-in-main-computer-systems-'><span class='titlemark'>6 </span> <a id='x7-60006'></a>Course ASPD on modelling, verifying and trying to understand distributed
algorithms usd in main computer systems. </h3>
                                                                                 
                                                                                 
<!-- l. 169 --><div class='crosslinks'><p class='noindent'>[<a href='CourseDISCONTModellingModellingSystems.html'>next</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#tailUsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev-tail</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>front</a>] [<a href='web.html#CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>up</a>] </p></div>
<!-- l. 169 --><p class='indent'><a id='tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'></a></p> 
</body> 
</html>