Source: http://ncps.csl.sri.com/reading.htm
Timestamp: 2019-04-19 18:14:34+00:00

Document:
� J. Y. Halpern and Y. Moses.
Knowledge and common knowledge in a distributed environment.
Journal of the ACM, 37:549-587, 1984.
Actors: a model of concurrent computation in distributed systems.
MIT Press, Cambridge, MA, USA, 1986.
� F. Fich and E. Ruppert.
Hundreds of impossibility results for distributed computing.
� M. J. Fischer, N. A. Lynch, and M. S. Paterson.
� L. E. Moser, Y. Amir, P. M. Melliar-Smith, and D. A. Agarwal.
IEEE 14th International Conference on Distributed Computing Systems, pages 56-65, 1994.
The promise, and limitations, of gossip protocols.
SIGOPS Oper. Syst. Rev., 41(5):8-13, 2007.
� M. Jelasity, S. Voulgaris, R. Guerraoui, A.-M. Kermarrec, and M. van Steen.
ACM Trans. Comput. Syst., 25(3):8, 2007.
� A.-M. Kermarrec and M. van Steen.
SIGOPS Oper. Syst. Rev., 41(5):2-7, 2007.
� Y. Busnel, M. Bertier, and A.-M. Kermarrec.
Bridging the Gap between Population and Gossip-based Protocols.
Research Report RR-6720, INRIA, 2008.
� Yaacov Fernandess and Antonio Fern�ndez, and Maxime Monod.
ACM SIGOPS Oper. Syst. Rev. vol 41, num 5, pages 19-27, 2007.
� Patrick Eugster, and Pascal Felber, and Fabrice Le Fessant.
ACM SIGOPS Oper. Syst. Rev. vol 41, num 5, pages 37-42, 2007.
� P. T. Eugster and R. Guerraoui and A. -M. Kermarrec and L. Massouli�.
IEEE Computer, vol 37, pages 60-67, 2004.
� K. P. Birman, M. Hayden, O. Ozkasap, Z. Xiao, M. Budiu, and Y. Minsky.
ACM Trans. Comput. Syst., 17(2):41-88, 1999.
� R. Karp, C. Schindelhauer, S. Shenker, and B. Vocking.
In FOCS '00: The 41st Annual Symposium on Foundations of Computer Science, page 565.
� A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson, S. Shenker, H. Sturgis, D. Swinehart, D. Terry.
In PODC '87: ACM Symposium on Principles of distributed computing, pages 1-12, 1987.
� K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers.
Flexible update propagation for weakly consistent replication.
� R. A. Golding and D. D. E. Long.
The performance of weak-consistency replication protocols.
Technical Report UCSC-CRL-92-30, Santa Cruz, CA, USA, 1992.
� R. van Renesse, D. Dumitriu, V. Gough, and C. Thomas.
Efficient reconciliation and flow control for anti-entropy protocols.
� D. Kempe, A. Dobra, and J. Gehrke.
Gossip-based computation of aggregate information.
page 482, Washington, DC, USA, 2003. IEEE Computer Society.
� T. C. Aysal, M. E. Yildiz, A. D. Sarwate, and A. Scaglione.
Broadcast gossip algorithms for consensus.
Trans. Sig. Proc., 57(7):2748–2761, 2009.
N. Ganguly, M. Jelasity, and R. Montemanni.
Design patterns from biology for distributed computing.
In ACM Transactions on Autonomous and Adaptive Systems, 1:26–66, 2006.
� B. Lahiri and S. Tirthapura.
Computing frequent elements using gossip.
Complexity, pages 119–130. Springer-Verlag, 2008.
� D. Mosk-Aoyama and D. Shah.
Computing separable functions via gossip.
pages 113–122, New York, NY, USA, 2006. ACM.
� D. Kempe, J. Kleinberg, and A. Demers.
Spatial gossip and resource location protocols.
In STOC '01: ACM symposium on Theory of computing, pages 163-172. ACM, 2001.
� J. Acosta-Elias, J. M. Luna-Rivera, M. Recio-Lara, O. Gutierrez-Navarro, B. Pineda-Reyes.
Topology-sensitive epidemic algorithm for information spreading in large-scale systems.
Lecture Notes in Computer Science, pages 439-450. Springer, 2006.
� R. Van Renesse, K. P. Birman, and W. Vogels.
Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining.
ACM Trans. Comput. Syst., 21(2):164-206, 2003.
� J. Pereira, L. Rodrigues, and R. Oliveira.
Semantically reliable multicast: Definition, implementation, and performance evaluation.
IEEE Trans. Comput., 52(2):150-165, 2003.
� Y. Amir, C. Danilov, S. Goose, D. Hedqvist, and A. Terzis.
1-800-overlays: using overlay networks to improve VoIP quality.
digital audio and video, pages 51-56, New York, NY, USA, 2005. ACM.
� R. Guerraoui, R. Olivera, and A. Schiper.
Technical report, LSE, D'epartement d'Informatique, Ecole Polytechnique F'ed'erale de, 1996.
A delay-tolerant network architecture for challenged internets.
for computer communications, pages 27-34. ACM, 2003.
� S. Farrell and V. Cahill.
Artech House, Inc., Norwood, MA, USA, 2006.
� V. Cerf, S. Burleigh, A. Hooke, L. Torgerson, R. Durst, K. Scott, E. Travis, H. Weiss.
� R. Krishnan et al.
The Spindle disruption tolerant networking system.
In Proceedings of IEEE Military Communications Conference, 2007.
� M.-O. Stehr and C. Talcott.
Planning and learning algorithms for routing in disruption-tolerant networks.
In Proceedings of IEEE Military Communications Conference, 2008.
� W. Zhao and M. H. Ammar.
Message ferrying: Proactive routing in highly partitioned wireless ad hoc networks.
page 308, Washington, DC, USA, 2003. IEEE Computer Society.
� W. Zhao, Y. Chen, M. Ammar, M. Corner, B. Levine, and E. Zegura.
Capacity enhancement using throwboxes in DTNs.
In Proc. IEEE Intl Conf on Mobile Ad-hoc and Sensor Systems (MASS), pages 31-40, 2006.
� Xu Li, Wei Shu, Minglu Li, Hongyu Huang, and Min-You Wu.
DTN routing in vehicular sensor networks.
In Global Telecommunications Conference, 2008. IEEE GLOBECOM 2008i, pages 1–5.
� Z. Guo, G. Colombi, B. Wang, J-H. Cui, D. Maggiorini and G. Rossi.
IEEE/IFIP Conference on Wireless On demand Network Systems and Services (WONS'08).
� V. Jacobson, D. K. Smetters, J. D. Thornton, M. F. Plass, N. H. Briggs, and R. L. Braynard.
� S. Androutsellis-Theotokis and D. Spinellis.
A survey of peer-to-peer content distribution technologies.
ACM Comput. Surv., 36(4):335-371, 2004.
� H. Balakrishnan, M. F. Kaashoek, D. Karger, R. Morris, and I. Stoica.
� S. Ratnasamy, I. Stoica, and S. Shenker.
pages 45-52, London, UK, 2002. Springer-Verlag.
� T. Heer, S. Gotz, S. Rieche, and K. Wehrle.
Adapting distributed hash tables for mobile ad hoc networks.
Communications Workshops, page 173. IEEE Computer Society, 2006.
� B. Temkow, A.-M. Bosneag, X. Li, and M. Brockmeyer.
PaxonDHT: Achieving consensus in distributed hash tables.
pages 236-244, Washington, DC, USA, 2006. IEEE Computer Society.
� N. A. Lynch, D. Malkhi, and D. Ratajczak.
� R. Cole and O. Zajicek.
The APRAM: incorporating asynchrony into the PRAM model.
In SPAA '89: ACM symposium on Parallel algorithms and architectures, pages 169-178.
A more practical PRAM model.
In SPAA '89: ACM symposium on Parallel algorithms and architectures, pages 158-168.
The expected advantage of asynchrony.
J. Comput. Syst. Sci., 51(2):286-300, 1995.
Impossibility results for asynchronous PRAM (extended abstract).
pages 327-336, New York, NY, USA, 1991. ACM.
Time, clocks, and the ordering of events in a distributed system.
Commun. ACM 21, 7 (Jul. 1978), 558-565.
� J. Misra and K. M. Chandy.
Parallel program design: a foundation.
Addison-Wesley Longman Publishing Co., Inc., 1988.
A discipline of multiprogramming: programming theory for distributed applications.
Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2001.
Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism.
Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1995.
� Andreas Frommer and Daniel B. Szyld.
J. Comput. Appl. Math., vol 123, num 1-2, pages 201-216, 2000.
Self-stabilizing systems in spite of distributed control.
ACM Comput. Surv., 25(1):45–67, 1993.
� A. Arora and M. Gouda.
Closure and convergence: A foundation of fault-tolerant computing.
IEEE Transactions on Software Engineering, 19:1015–1027, 1993.
� S. Katz and K. Perry.
Self-stabilizing extensions for message-passing systems.
� G. Itkis and L. Levin.
SFCS '94: The 35th Annual Symposium on Foundations of Computer Science, pages 226—239.
� Paolo Boldi and Sebastiano Vigna.
Proc. of the 3rd Workshop on Self--Stabilizing Systems, pages 141—156, 1997.
� Angluin, Dana and Aspnes, James and Fischer, Michael J. and Jiang, Hong.
ACM Trans. Auton. Adapt. Syst., vol 3, num 4, pages 1—28.
� S. Devismes, S. Tixeuil, and M. Yamashita.
ICDCS '08: International Conference on Distributed Computing Systems, pages 681-688.
� Gilbert, Seth and Lynch, Nancy and Mitra, Sayan and Nolte, Tina.
ACM Trans. Auton. Adapt. Syst., 4(3) : 1-29, 2009.
STOC '80: Proceedings of the twelfth annual ACM symposium on Theory of computing, pages 82-93.
� H. Attiya and J. Welch.
Distributed Computing: Fundamentals, Simulations, and Advanced Topics.
� H. E. Bal and A. S. Tanenbaum.
� R. Bisiani and A. Forin.
Multilanguage parallel programming of heterogeneous machines.
IEEE Trans. Comput., 37(8):930-945, 1988.
Elements of distributed algorithms: modeling and analysis with Petri nets.
Springer-Verlag New York, Inc., 1998.
Fairness, Randomisierung und Konspiration in verteilten Algorithmen.
PhD thesis, Humboldt-Universitat zu Berlin, Mathematisch-Naturwissenschaftliche Fakultat II, 2000.
� M.-O. Stehr, J. Meseguer, and Peter Csaba �lveczky.
Rewriting Logic as a Unifying Framework for Petri nets.
Unifying Petri Nets, pages 250-303, Springer-Verlag, 2001.
� S. Christensen and N. D. Hansen.
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs.
Partial order semantics and read arcs.
Theor. Comput. Sci., 286(1):33-63, 2002.
� Teruhiro Shimura, Jorge Lobo, and Tadao Murata.
IEEE Trans. on Knowl. and Data Eng., vol 7, num 1, pages 150-162, 1995.
� R. Bruni and U. Montanari.
Concurrent models for Linda with transactions.
Mathematical. Structures in Comp. Sci., 14(3):421-468, 2004.
� L. Murphy, G. P. Picco, and G.-C. Roman.
Lime: A coordination model and middleware supporting mobility of hosts and agents.
ACM Trans. Softw. Eng. Methodol., 15(3):279-328, 2006.
� S. Bessler, A. Fischer, E. Khn, R. Mordinyi, and S. Tomic.
Using tuple-spaces to manage the storage and dissemination of spatial-temporal content.
Journal of Computer and System Sciences, 2009.
� R. S. Engelmore and A. Morgan, editors.
Design alternatives for parallel and distributed blackboard systems.
Blackboard Architectures and Applications, pages 99-136. Academic Press, 1989.
� J. R. Ensor and J. D. Gabbe.
pages 340-344. Morgan Kaufmann Publishers Inc., 1985.
� V. R. Lesser and D. D. Corkill.
Functionally accurate, cooperative distributed systems.
In Distributed Artificial intelligence, Morgan Kaufmann Publishers, San Francisco, CA, 295-310, 1988.
� M. Clavel, F. Dur�n, S. Eker, P. Lincoln, N. Mart�-Oliet, Jos� Meseguer, and Carolyn Talcott.
All about Maude, a high-performance logical framework.
Lecture Notes in Computer Science, 4350, 2007.
Theor. Comput. Sci. 96, 1 (Apr. 1992), 73-155.
� G. Agha, J. Meseguer, and K. Sen.
Electron. Notes Theor. Comput. Sci., 153(2): 213-239, 2006.
In IJCAI-89, 11th International Joint Conference on Artificial Intelligence, pages 1375-1381.
� Huadong Wu, Mel Siegel, Rainer Stiefelhagen, and Jie Yang.
Proceedings of IEEE Instrumentation and Measurement Technology Conference, May, 2002.
� V. K. Janakiram, D. P. Agrawal, and R. Mehrotra.
A randomized parallel backtracking algorithm.
IEEE Trans. Comput., 37(12):1665–1676, 1988.
Distributed constraint satisfaction: foundations of cooperation in multi-agent systems.
� Weixiong Zhang, Guandong Wang, Zhao Xing, and Lars Wittenburg.
and applications to constraint optimization problems in sensor networks.
� Roger Mailler and Victor Lesser.
Solving distributed constraint optimization problems using cooperative mediation.
Agents and Multiagent Systems, pages 438–445, Washington, DC, USA, 2004.
pages 301–308. Central Institute for Applied Mathematics, J�lich, Germany, 2005.
� Wahid Chrabakh and Rich Wolski.
GridSAT: A Chaff-based distributed SAT solver for the Grid.
In SC �03: ACM/IEEE conference on Supercomputing, page 37.
Self-Organization in Sensor and Actor Networks.
� Chalermek Intanagonwiwat, Ramesh Govindan, Deborah Estrin, John Heidemann, and Fabio Silva.
Directed diffusion for wireless sensor networking.
IEEE/ACM Trans. Netw., 11(1):2–16, 2003.
� Kemal Akkaya and Mohamed Younis.
A survey on routing protocols for wireless sensor networks.
Ad Hoc Networks, 3:325–349, 2005.
� Ian F. Akyildiz and Ismail H. Kasimoglu.
Wireless sensor and actor networks: Research challenges.
Ad Hoc Networks, 2(4):351–367, 2004.
� Tommaso Melodia, Dario Pompili, Vehbi C. Gungor, and Ian F. Akyildiz.
Communication and coordination in wireless sensor and actor networks.
IEEE Transactions on Mobile Computing, 6(10):1116–1129, 2007.
� Wei Wang, Vikram Srinivasan, and Kee-Chaing Chua.
Using mobile relays to prolong the lifetime of wireless sensor networks.
pages 270–283, New York, NY, USA, 2005. ACM.
� Deborah Estrin, Ramesh Govindan, John Heidemann, and Satish Kumar.
Next Century Challenges: Scalable Coordination in Sensor Networks.
pp. 263-270. Seattle, Washington, USA, ACM. August, 1999.
� Guangyu Pei Mario, Mario Gerla, and Tsu-wei Chen.
In Proceedings of ICC 2000, pages 70-74.
� B. Banhelyi, M. Biazzini, A. Montresor and M. Jelasity.
In Proceedings of the Evoworkshops 2009 on Applications of Evolutionary Computing.
� David Chu, Lucian Popa, Arsalan Tavakoli, Joseph M. Hellerstein, Philip Levis, Scott Shenker, and Ion Stoica.
Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica.
SIGMOD '06: ACM SIGMOD international conference on Management of data, pages 97—108.
� C. Liu, Y. Mao, M. Oprea, P. Basu, and B. T. Loo.
A declarative perspective on adaptive MANET routing.
(Seattle, WA, USA, August 22 - 22, 2008). PRESTO '08. ACM, New York, NY, 63-68.
� D. Elenius, G. Denker, and M.-O. Stehr.
A Semantic Web Reasoner for Rules, Equations and Constraints.
In Proceedings of the 2nd international Conference on Web Reasoning and Rule Systems.
Lecture Notes In Computer Science, vol. 5341. Springer-Verlag, pages 135-149.
� Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, and Padmanabhan Pillai.
Meld: A Declarative Approach to Programming Ensembles.
� Charles L. Ortiz, R�gis Vincent, and Benoit Morisset.
Task inference and distributed task management in the Centibots robotic system.
and multiagent systems, pages 860–867, New York, NY, USA, 2005. ACM.
� Brian P. Gerkey, Roger Mailler, and Benoit Morisset.
Commbots: Distributed control of mobile communication relays.
page 5157, Boston, Massachusetts, July 2006.
� R. B. Rusu, A. Maldonado, M. Beetz, and B. Gerkey.
Workshop for Network Robot Systems, 2007.
J. P. Ostrowski , G. J. Pappas, B. Southall, J. Spletzer and C. J. Taylor.
ISER '00: Experimental Robotics VII, pages 303-312.
Y. Demazeau and J.-P. M�ller, eds., Decentralized AI Elsevier, 175-196, 1990.
IEEE Transactions on Robotics and Automation, vol. 14, pages 220-240, 1998.
� D. Goldberg, V. Cicirello, M B. Dias, R. Simmons, S. Smith and A. (Tony) Stentz.
In the 2003 International Workshop on Multi-Robot Systems, pages 27-38.
� Jiming Liu and Jianbing Wu.
� Howie Choset and K. Nagatani.
Toward exact localization without explicit localization.
IEEE Trans. on Robotics and Automation, 17(1):125 -137, April 2001.
� Giorgio Grisetti, Cyrill Stachniss, and Wolfram Burgard.
Trans. Intell. Transport. Sys., 10(3):428-439, 2009.
� Gregory D. Troxel et al.
Enabling open-source cognitively-controlled collaboration among software-defined radio nodes.
� S. Toorian, K. Diaz, S. Lee.
The CubeSet approach to space access.
In Aerospace Conference, IEEE, 2008.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.