The Resource Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.)
Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.)
Resource Information
The item Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- This book constitutes the refereed proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012, held in Toronto, Canada, in October 2012. The 21 full papers and 10 brief announcements presented in this volume were carefully reviewed and selected from 75 submissions. The conference provides a wide spectrum of topics, covered in the following tracks: self-stabilization, ad-hoc and sensor networks, fault-tolerance and dependable systems, safety and security, cloud computing, formal methods, social networks, peer-to-peer, self-organizing and autonomic systems
- Language
- eng
- Extent
- 1 online resource.
- Note
- International conference proceedings
- Contents
-
- Mahyar R. Malekpour
- Brief Announcement:
- Self-stabilizing Silent Disjunction in an Anonymous Network
- Ajoy K. Datta, Stéphane Devismes and Lawrence L. Larmore
- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings
- Fukuhito Ooshita and Sébastien Tixeuil
- Optimal Grid Exploration by Asynchronous Oblivious Robots
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond and Sébastien Tixeuil
- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions
- Othon Michail, Ioannis Chatzigiannakis and Paul G. Spirakis
- Communication-Efficient Self-stabilization in Wireless Networks
- Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
- Self-stabilizing Local k-Placement of Replicas with Minimal Variance
- Sven Köhler, Volker Turau and Gerhard Mentges
- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles
- Brahim Neggazi, Mohammed Haddad and Hamamache Kheddouci
- Brief Announcement:
- Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults
- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud
- Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang and Makan Pourzandi
- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback
- Jordan Adamek, Mikhail Nesterenko and Sébastien Tixeuil
- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks
- (Extended Abstract)
- Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller and Shantanu Sharma
- Self-stabilizing Distributed Data Fusion
- Bertrand Ducourthial, Véronique Cherfaoui and Thierry Denoeux
- Brief Announcement:
- The Degrading Effect of Forgetting on a Synchronizer
- Matthias Függer, Alexander Kößler, Thomas Nowak and Martin Zeiner
- Brief Announcement:
- Mobile Agent Rendezvous on Edge Evolving Rings
- Tomoko Izumi, Yukiko Yamauchi and Sayaka Kamei
- High-Level Executable Specifications of Distributed Algorithms
- Yanhong A. Liu, Scott D. Stoller and Bo Lin
- Oblivious Assignment with m Slots
- Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi and Giuseppe Antonio Di Luna
- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters
- Mohammad Alaggan, Sébastien Gambs and Anne-Marie Kermarrec
- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments
- Johannes Behl, Tobias Distler and Rüdiger Kapitza
- Brief Announcement:
- KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
- António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller and Philippas Tsigas, et al.
- Brief Announcement:
- From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering
- Arbitrators in the Security Infrastructure
- Shlomi Dolev, Niv Gilboa and Ofer Hermoni
- Colette Johnen and Fouzi Mekhaldi
- Brief Announcement:
- Verification of Stabilizing Programs with SMT Solvers
- Jingshu Chen and Sandeep Kulkarni
- Brief Announcement:
- MP-State: State-Aware Software Model Checking of Message-Passing Systems
- Can Arda Muftuoglu, Péter Bokor and Neeraj Suri
- Na Li, Sajal K. Das and Nan Zhang
- Brief Announcement:
- Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
- François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil
- All-to-All Gradecast Using Coding with Byzantine Failures
- John F. Bridgman III and Vijay K. Garg
- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents
- Paola Flocchini, Matthew Kellett, Peter C. Mason and Nicola Santoro
- A Theory of Fault Recovery for Component-Based Models
- Borzoo Bonakdarpour, Marius Bozga and Gregor Gössler
- Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems
- Eddy Caron, Florent Chuffart, Anissa Lamani and Franck Petit
- Scalable Byzantine Agreement with a Random Beacon
- Olumuyiwa Oluwasanmi and Jared Saia
- On Finding Better Friends in Social Networks
- Philipp Brandes and Roger Wattenhofer
- Brief Announcement:
- Detecting Users' Connectivity on Online Social Networks
- Isbn
- 9783642335365
- Label
- Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
- Title
- Stabilization, safety, and security of distributed systems
- Title remainder
- 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
- Statement of responsibility
- Andréa W. Richa, Christian Scheideler (eds.)
- Title variation
- SSS 2012
- Subject
-
- Computer Communication Networks.
- Computer networks -- Reliability
- Computer networks -- Reliability
- Computer networks -- Reliability -- Congresses
- Computer networks -- Security measures
- Computer networks -- Security measures
- Computer networks -- Security measures -- Congresses
- Computer science.
- Computer software
- Computer software
- Computer software.
- Conference papers and proceedings
- Conference papers and proceedings
- Data protection.
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing -- Congresses
- Information Systems Applications (incl. Internet)
- Informatique
- Logic design.
- Logics and Meanings of Programs.
- Self-stabilization (Computer science)
- Self-stabilization (Computer science)
- Self-stabilization (Computer science) -- Congresses
- Software engineering.
- Systems and Data Security.
- Algorithm Analysis and Problem Complexity.
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012, held in Toronto, Canada, in October 2012. The 21 full papers and 10 brief announcements presented in this volume were carefully reviewed and selected from 75 submissions. The conference provides a wide spectrum of topics, covered in the following tracks: self-stabilization, ad-hoc and sensor networks, fault-tolerance and dependable systems, safety and security, cloud computing, formal methods, social networks, peer-to-peer, self-organizing and autonomic systems
- Cataloging source
- GW5XE
- Dewey number
- 004.2
- Index
- index present
- LC call number
- QA76.9.S54
- LC item number
- S67 2012
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2012
- http://bibfra.me/vocab/lite/meetingName
- SSS (Symposium)
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
-
- Richa, Andréa W
- Scheideler, Christian
- Series statement
-
- Lecture notes in computer science,
- LNCS sublibrary. SL 1, Theoretical computer science and general issues
- Series volume
- 7596
- http://library.link/vocab/subjectName
-
- Self-stabilization (Computer science)
- Computer networks
- Computer networks
- Electronic data processing
- Informatique
- Computer networks
- Computer networks
- Electronic data processing
- Self-stabilization (Computer science)
- Label
- Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.)
- Note
- International conference proceedings
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Mahyar R. Malekpour
- Brief Announcement:
- Self-stabilizing Silent Disjunction in an Anonymous Network
- Ajoy K. Datta, Stéphane Devismes and Lawrence L. Larmore
- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings
- Fukuhito Ooshita and Sébastien Tixeuil
- Optimal Grid Exploration by Asynchronous Oblivious Robots
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond and Sébastien Tixeuil
- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions
- Othon Michail, Ioannis Chatzigiannakis and Paul G. Spirakis
- Communication-Efficient Self-stabilization in Wireless Networks
- Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
- Self-stabilizing Local k-Placement of Replicas with Minimal Variance
- Sven Köhler, Volker Turau and Gerhard Mentges
- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles
- Brahim Neggazi, Mohammed Haddad and Hamamache Kheddouci
- Brief Announcement:
- Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults
- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud
- Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang and Makan Pourzandi
- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback
- Jordan Adamek, Mikhail Nesterenko and Sébastien Tixeuil
- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks
- (Extended Abstract)
- Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller and Shantanu Sharma
- Self-stabilizing Distributed Data Fusion
- Bertrand Ducourthial, Véronique Cherfaoui and Thierry Denoeux
- Brief Announcement:
- The Degrading Effect of Forgetting on a Synchronizer
- Matthias Függer, Alexander Kößler, Thomas Nowak and Martin Zeiner
- Brief Announcement:
- Mobile Agent Rendezvous on Edge Evolving Rings
- Tomoko Izumi, Yukiko Yamauchi and Sayaka Kamei
- High-Level Executable Specifications of Distributed Algorithms
- Yanhong A. Liu, Scott D. Stoller and Bo Lin
- Oblivious Assignment with m Slots
- Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi and Giuseppe Antonio Di Luna
- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters
- Mohammad Alaggan, Sébastien Gambs and Anne-Marie Kermarrec
- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments
- Johannes Behl, Tobias Distler and Rüdiger Kapitza
- Brief Announcement:
- KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
- António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller and Philippas Tsigas, et al.
- Brief Announcement:
- From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering
- Arbitrators in the Security Infrastructure
- Shlomi Dolev, Niv Gilboa and Ofer Hermoni
- Colette Johnen and Fouzi Mekhaldi
- Brief Announcement:
- Verification of Stabilizing Programs with SMT Solvers
- Jingshu Chen and Sandeep Kulkarni
- Brief Announcement:
- MP-State: State-Aware Software Model Checking of Message-Passing Systems
- Can Arda Muftuoglu, Péter Bokor and Neeraj Suri
- Na Li, Sajal K. Das and Nan Zhang
- Brief Announcement:
- Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
- François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil
- All-to-All Gradecast Using Coding with Byzantine Failures
- John F. Bridgman III and Vijay K. Garg
- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents
- Paola Flocchini, Matthew Kellett, Peter C. Mason and Nicola Santoro
- A Theory of Fault Recovery for Component-Based Models
- Borzoo Bonakdarpour, Marius Bozga and Gregor Gössler
- Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems
- Eddy Caron, Florent Chuffart, Anissa Lamani and Franck Petit
- Scalable Byzantine Agreement with a Random Beacon
- Olumuyiwa Oluwasanmi and Jared Saia
- On Finding Better Friends in Social Networks
- Philipp Brandes and Roger Wattenhofer
- Brief Announcement:
- Detecting Users' Connectivity on Online Social Networks
- Control code
- 812289661
- Dimensions
- unknown
- Extent
- 1 online resource.
- File format
- unknown
- Form of item
- online
- Isbn
- 9783642335365
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-642-33536-5
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)812289661
- Label
- Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.)
- Note
- International conference proceedings
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Mahyar R. Malekpour
- Brief Announcement:
- Self-stabilizing Silent Disjunction in an Anonymous Network
- Ajoy K. Datta, Stéphane Devismes and Lawrence L. Larmore
- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings
- Fukuhito Ooshita and Sébastien Tixeuil
- Optimal Grid Exploration by Asynchronous Oblivious Robots
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond and Sébastien Tixeuil
- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions
- Othon Michail, Ioannis Chatzigiannakis and Paul G. Spirakis
- Communication-Efficient Self-stabilization in Wireless Networks
- Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
- Self-stabilizing Local k-Placement of Replicas with Minimal Variance
- Sven Köhler, Volker Turau and Gerhard Mentges
- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles
- Brahim Neggazi, Mohammed Haddad and Hamamache Kheddouci
- Brief Announcement:
- Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults
- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud
- Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang and Makan Pourzandi
- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback
- Jordan Adamek, Mikhail Nesterenko and Sébastien Tixeuil
- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks
- (Extended Abstract)
- Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller and Shantanu Sharma
- Self-stabilizing Distributed Data Fusion
- Bertrand Ducourthial, Véronique Cherfaoui and Thierry Denoeux
- Brief Announcement:
- The Degrading Effect of Forgetting on a Synchronizer
- Matthias Függer, Alexander Kößler, Thomas Nowak and Martin Zeiner
- Brief Announcement:
- Mobile Agent Rendezvous on Edge Evolving Rings
- Tomoko Izumi, Yukiko Yamauchi and Sayaka Kamei
- High-Level Executable Specifications of Distributed Algorithms
- Yanhong A. Liu, Scott D. Stoller and Bo Lin
- Oblivious Assignment with m Slots
- Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi and Giuseppe Antonio Di Luna
- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters
- Mohammad Alaggan, Sébastien Gambs and Anne-Marie Kermarrec
- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments
- Johannes Behl, Tobias Distler and Rüdiger Kapitza
- Brief Announcement:
- KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
- António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller and Philippas Tsigas, et al.
- Brief Announcement:
- From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering
- Arbitrators in the Security Infrastructure
- Shlomi Dolev, Niv Gilboa and Ofer Hermoni
- Colette Johnen and Fouzi Mekhaldi
- Brief Announcement:
- Verification of Stabilizing Programs with SMT Solvers
- Jingshu Chen and Sandeep Kulkarni
- Brief Announcement:
- MP-State: State-Aware Software Model Checking of Message-Passing Systems
- Can Arda Muftuoglu, Péter Bokor and Neeraj Suri
- Na Li, Sajal K. Das and Nan Zhang
- Brief Announcement:
- Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
- François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil
- All-to-All Gradecast Using Coding with Byzantine Failures
- John F. Bridgman III and Vijay K. Garg
- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents
- Paola Flocchini, Matthew Kellett, Peter C. Mason and Nicola Santoro
- A Theory of Fault Recovery for Component-Based Models
- Borzoo Bonakdarpour, Marius Bozga and Gregor Gössler
- Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems
- Eddy Caron, Florent Chuffart, Anissa Lamani and Franck Petit
- Scalable Byzantine Agreement with a Random Beacon
- Olumuyiwa Oluwasanmi and Jared Saia
- On Finding Better Friends in Social Networks
- Philipp Brandes and Roger Wattenhofer
- Brief Announcement:
- Detecting Users' Connectivity on Online Social Networks
- Control code
- 812289661
- Dimensions
- unknown
- Extent
- 1 online resource.
- File format
- unknown
- Form of item
- online
- Isbn
- 9783642335365
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-642-33536-5
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)812289661
Subject
- Computer Communication Networks.
- Computer networks -- Reliability
- Computer networks -- Reliability
- Computer networks -- Reliability -- Congresses
- Computer networks -- Security measures
- Computer networks -- Security measures
- Computer networks -- Security measures -- Congresses
- Computer science.
- Computer software
- Computer software
- Computer software.
- Conference papers and proceedings
- Conference papers and proceedings
- Data protection.
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing -- Congresses
- Information Systems Applications (incl. Internet)
- Informatique
- Logic design.
- Logics and Meanings of Programs.
- Self-stabilization (Computer science)
- Self-stabilization (Computer science)
- Self-stabilization (Computer science) -- Congresses
- Software engineering.
- Systems and Data Security.
- Algorithm Analysis and Problem Complexity.
Genre
Member of
- LNCS sublibrary, SL 1, Theoretical computer science and general issues
- Lecture notes in computer science, 7596
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Stabilization-safety-and-security-of/nHqr7IqVExc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Stabilization-safety-and-security-of/nHqr7IqVExc/">Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Stabilization-safety-and-security-of/nHqr7IqVExc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Stabilization-safety-and-security-of/nHqr7IqVExc/">Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Andréa W. Richa, Christian Scheideler (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
