Networked Systems  6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers /  [electronic resource] : 
edited by Andreas Podelski, François Taïani. 
 - 1st ed. 2019. 
 - XXXIII, 412 p. 388 illus., 60 illus. in color.  online resource. 
 - Computer Communication Networks and Telecommunications,  11028  2945-9184 ; .
 - Computer Communication Networks and Telecommunications,  11028 .
<br/><br/>Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware. 
<br/><br/> This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018. The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware. 
<br/><br/><label>ISBN: </label>9783030055295 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-05529-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer networks .<br/>Software engineering.<br/>Computer systems.<br/>Logic design.<br/>Microprogramming .<br/>Computer input-output equipment.<br/>Computer Communication Networks.<br/>Software Engineering.<br/>Computer System Implementation.<br/>Logic Design.<br/>Control Structures and Microprogramming.<br/>Input/Output and Data Communications.
<br/><br/><label>LC Class. No.: </label>TK5105.5-5105.9 
<br/><br/><label>Dewey Class. No.: </label>004.6