-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html
24 lines (22 loc) · 2.44 KB
/
CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
<!DOCTYPE html>
<html lang='en-US' xml:lang='en-US'>
<head><title>Course ASPD Distributed Algorithms on modelling, verifying and trying to
understand distributed algorithms used 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. 94 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>next</a>] [<a href='#tailCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>tail</a>] [<a href='web.html#CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>up</a>] </p></div>
<h3 class='sectionHead' id='course-aspd-distributed-algorithms-on-modelling-verifying-and-trying-to-understand-distributed-algorithms-used-in-main-computer-systems'><span class='titlemark'>1 </span> <a id='x2-10001'></a> Course ASPD Distributed Algorithms on modelling, verifying and trying to
understand distributed algorithms used in main computer systems.</h3>
<!-- l. 98 --><p class='noindent'>The course Distributed Algorithms ASPD is taught in the Master in Computer Science of
the University of Lorraine and in the Master in Computer Engineering of Telecom
Nancy. The lectures notes and documents for the students are at the link —large
<a href='https://mery54.github.io/teaching/aspd'>ASPD</a>
</p>
<!-- l. 106 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>next</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>front</a>] [<a href='web.html#CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>up</a>] </p></div>
<!-- l. 106 --><p class='indent'><a id='tailCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'></a></p>
</body>
</html>