2019
Alberto Ancona, Ayesha Bajwa, Nancy A. Lynch, and Frederik Mallmann-Trenn.
How to Color a French Flag-Biologically Inspired Algorithms for Scale-Invariant Patterning. In Keren Censor-Hillel, Michele Flammini, editors, Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), L'Aquila, Italy, July 2019, volume 11639 of Lecture Notes in Computer Science, pages 327-331, Springer 2019. .pdf
Alberto Ancona, Ayesha Bajwa, Nancy A. Lynch, and Frederik Mallmann-Trenn.
How to Color a French Flag-Biologically Inspired Algorithms for Scale-Invariant Patterning. 7th Workshop on Biological Distributed Algorithms (BDA), Toronto, Canada, July 2019. Also, arXiv:1905.00342, May 2019.
Alberto Ancona, Ayesha Bajwa, Nancy A. Lynch, and Frederik Mallmann-Trenn.
How to Color a French Flag-Biologically Inspired Algorithms for Scale-Invariant Patterning. arXiv:1905.00342, May 2019.
Viveck R. Cadambe, Nicolas C. Nicolaou, Kishori M. Konwar, N. Prakash, Nancy A. Lynch, and Muriel Medard. ARES: Adaptive, Reconfigurable, Erasure coded, atomic Storage. 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019), Dallas, Texas, July 2019. .pdf. Also, arXiv:1805.03727v1, May 2018.
Anna Dornhaus, Nicole Leitner, Nancy Lynch, Frederik Mallmann-Trenn, and Dominik Pajak. Remember the Past and Forget Thresholds. 7th Workshop on Biological Distributed Algorithms (BDA), Toronto, Canada, July 2019. .pdf
Kishori Konwar, N. Prakash, Muriel Medard, and Nancy Lynch. Fast Lean Erasure-coded Atomic Memory Object. 23rd International Conference On Principles Of Distributed Systems (OPODIS 2019), Neuchatel, Switzerland, December 2019.
.pdf Publisher site
Nancy Lynch, Cameron Musco, and Merav Parter. Winner-Take-All Computation in Spiking Neural Networks. arXiv:1904.12591, April 2019.
Nancy Lynch and Frederik Mallmann-Trenn. Learning of Hierarchically Structured Concepts. New version in progress, 2019. See arxiv:1909.04559v1, September 2019.
Cameron Musco, Hsin-Hao Su, and Nancy Lynch. Ant-Inspired Density Estimation via Random Walks. ArXv:1603.02981, v2, January 2019.
Lili Su, Chia-Jung Chang, Nancy Lynch. Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. Neural Computation,, 31(12), December 2019 published online. .pdf Journal version Also, arXiv:1904.10399.
Lili Su, Martin Zubeldia, and Nancy Lynch. Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. ACM SIGMETRICS 2019, Phoenix, Arizona, June 2019. .pdf Also, arXiv:1811.03968v3, December 2018.
Lili Su, Chia-Jung Chang and Nancy Lynch. Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. 7th Workshop on Biological Distributed Algorithms (BDA), Toronto, Canada, July 2019. .pdf
Lili Su, Chia-Jung Chang, Nancy Lynch. Spike-Based
Winner-Take-All Computation: Fundamental Limits and Order-Optimal
Circuits. arXiv:1904.10399, April, 2019.
Lili Su, Martin Zubeldia, and Nancy Lynch. Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. POMACS, 3(1):11:1-11:32, 2019. .pdf
Mien Brabeeba Wang and Nancy Lynch. Integrating Temporal Information to Spatial Information in a Neural Circuit. 7th Workshop on Biological Distributed Algorithms (BDA), Toronto, Canada, July 2019. .pdf
Brabeeba Wang and Nancy Lynch. Brief Announcement: Integrating Temporal Information to Spatial Information in a Neural Circuit. 33rd International Symposium on Distributed Computing (DISC), Budapest, Hungary, October 2019. .pdf
Brabeeba Wang and Nancy Lynch.
Integrating Temporal Information to Spatial Information in a Neural Circuit. arXiv:1903.01217v2, July 2019.
2018
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Task-Structured Probabilistic I/O Automata. Journal of Computer and System Sciences, volume 94, pages 63-97, 2018. .pdf
Viveck R. Cadambe, Nicolas C. Nicolaou, Kishori M. Konwar, N. Prakash, Nancy A. Lynch, and Muriel Medard. ARES: Adaptive, Reconfigurable, Erasure coded, atomic Storage. arXiv:1805.03727v1, May 2018.
Anna R. Dornhaus, Nancy A. Lynch, Frederik Mallmann-Trenn, Dominik
Pajak, and Tsvetomira Radeva. Self-Stabilizing Task Allocation In Spite of
Noise. 6th Workshop on Biological Distributed Algorithms (BDA), London, UK, July, 2018. .pdf
Anna R. Dornhaus, Nancy A. Lynch, Frederik Mallmann-Trenn, Dominik
Pajak, and Tsvetomira Radeva. Self-Stabilizing Task Allocation In Spite of
Noise. arxiv 1805.03691v2, May 2018.
Seth Gilbert, Nancy Lynch, Calvin Newport, and Dominik Pajak. On Simple
Back-Off in Unreliable Radio Networks. The 22nd International
Conference on Principles of Distributed Systems (OPODIS 2018), Hong
Kong, December 2018. .pdf Best Paper Award.
Seth Gilbert, Nancy A. Lynch, Calvin Newport, and Dominik Pajak. On Simple Back-Off in Unreliable Radio Networks. arxiv 1803.02216v1, March 2018.
Seth Gilbert, Nancy A. Lynch, Calvin Newport, and Dominik Pajak. On Simple Back-Off in Unreliable Radio Networks. arxiv 1803.02216v2, May 2018.
Seth Gilbert, Nancy A. Lynch, Calvin Newport, and Dominik Pajak. On Simple Back-Off in Unreliable Radio Networks. arxiv 1803.02216v3, December 2018.
Seth Gilbert, Nancy A. Lynch, Calvin Newport, and Dominik Pajak. Brief Announcement: On Simple Back-Off in Unreliable Radio Networks. 32nd International Symposium on Distributed Computing (DISC 2018), New Orleans, LA, October 2018. .pdf
Kishori Konwar, Wyatt Lloyd, Haonan Lu, and Nancy Lynch. The SNOW Theorem Revisited. arXiv 1811.10577v1, November 2018.
Nancy Lynch and Cameron Musco. A Basic Compositional Model for Spiking Neural Networks. arXiv:1808.03884v1, August 2018.
Lili Su, Martin Zubeldia, and Nancy Lynch. Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. arXiv:1811.03968v3, December 2018.
Lili Su, Martin Zubeldia, and Nancy Lynch. Collaboratively Learning the Best Option, Using Bounded Memory. arXiv:1802.08159v2, March 2018.
Lili Su, Martin Zubeldia, and Nancy Lynch. Collaboratively Learning the Best Option, Using Bounded Memory. arXiv:1802.08159v3, November 2018.
2017
Viveck R. Cadambe, Nancy Lynch, Muriel Medard and Peter Musial. A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. Distributed Computing, 30(1):49-73, February 2017. .pdf
Magnus Halldorsson, Fabian Kuhn, Nancy lynch, and Calvin Newport.
An Efficient communication Abstraction for Dense Wireless Networks.
31st International Symposium on Distributed Computing (DISC 2017), Vienna Austria, October, 2017. .pdf
Stephan Holzer and Nancy Lynch. Beeping a Maximal Independent Set Fast. arXiv:1704.07133, April 2017. Slightly revised version, May 8th, 2017 .pdf
Kishori M Konwar, N. Prakash, Muriel Medard and Nancy Lynch. A Layered Architecture for Erasure-Coded Consistent Distributed Storage. ACM Symposium on the Principles of Distributed Computing (PODC 2017), Washington, DC, July 2017. .pdf
Christoph Lenzen, Nancy Lynch, Calvin Newport, and Tsvetomira Radeva. Searching without Communicating: Tradeoffs Between Performance and Selection Complexity. Distributed Computing, 30(3):169-191, 2017. .pdf
Nancy Lynch, Cameron Musco, and Merav Parter. Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. 31st International Symposium on Distributed Computing (DISC 2017), Vienna Austria, October 2017. arXiv:1706.01382v2, August 2017.
Cameron Musco, and Hsin-Hao Su, and Nancy A. Lynch. Ant-Inspired Density Estimation via Random Walks. Proceedings of the National Academy of Sciences, 114(40):10534-10541, October, 2017. Final submission version .pdf PNAS version.
Nancy Lynch, Cameron Musco, and Merav Parter. Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. arXiv:1706.01382v2, August 2017.
Nancy Lynch, Cameron Musco, and Merav Parter. Spiking Neural Networks: An Algorithmic Perspective. 5th Workshop on Biological Distributed Algorithms (BDA 2017), Washington, DC, July 2017. .pdf
Nancy Lynch, Cameron Musco, and Merav Parter. Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. Innovations in Theoretical Computer Science (ITCS'17), Berkeley, CA, January 2017. .pdf Also, arXiv 1610.02084, October 2016.
Tsvetomira Radeva, Anna Dornhaus, Nancy Lynch, Radhika Nagpal, and
Hsin-Hao Su. Costs of task allocation with local feedback: effects of colony size and extra workers in social insects and other multi-agent systems. PLOS Computational Biology, 13(12):e1005904, December 2017. .pdf. Also,
https://doi.org/10.1371/journal.pcbi.1005904
Tsvetomira Radeva, Cameron Musco, and Nancy Lynch. New Perspectives on Algorithmic Robustness Inspired by Ant Colony House-Hunting. 5th Workshop on Biological Distributed Algorithms (BDA 2017), Washington, DC, July 2017. .pdf
Hsin-Hao Su, Lili Su, Anna Dornhaus, and Nancy Lynch. Ant-Inspired Dynamic Task Allocation via Gossiping. In Paul G. Spirakis, Philippas Tsigas, 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017), Boston, MA, November 2017, volume 10616 of Lecture Notes in Computer Science, pages 157-171, Springer 2017. .pdf
Hsin-Hao Su, Lili Su, Anna Dornhaus, and Nancy Lynch. Ant-Inspired Dynamic Task Allocation via Gossiping. 5th Workshop on Biological Distributed Algorithms (BDA 2017), Washington, DC, July 2017. (Short-version) .pdf
2016
Paul C. Attie and Nancy A. Lynch. Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems. Information and Computation, volume 249, pages 28-75, August 2016. Accepted.pdf ElsevierAcceptedManuscript.pdf. Also, arxiv:1604.06030, April 2016.
Earlier version in Technical Report MIT-CSAIL-TR-2013-015, Computer Science and Artificial Intelligence Laboratory, Cambridge, MA 02139, July 2013. .pdf
Paul C. Attie and Nancy A. Lynch. Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems. arxiv:1604.06030, April 2016.
Stephan Holzer and Nancy Lynch. Brief Announcement - Beeping a Maximal Independent Set Fast. 30th International Symposium on Distributed Computing (DISC 2016), Paris, France, September 2016. .pdf
Kishori M Konwar, N. Prakash, Erez Kantor, Muriel Medard, Nancy Lynch, and Alexander A. Schwarzmann. Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. 30th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2016. .pdf Also, arXiv:1605.01748, May 2016.
Kishori M Konwar, N. Prakash, Erez Kantor, Muriel Medard, Nancy Lynch, and Alexander A. Schwarzmann. Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. arXiv:1605.01748, May 2016.
Kishori Konwar, Nancy Lynch, Muriel Medard and Prakash Narayana Moorthy.
RADON: Repairable Atomic Data Object in Networks. Proceedings of the 20th International Conference on Principles of Distributed Systems (OPODIS 2016), Madrid, Spain, December 2016. .pdf Also, arXiv:1605.05717v2, November 2016.
Kishori Konwar, Nancy Lynch, Muriel Medard and Prakash Narayana Moorthy.
RADON: Repairable Atomic Data Object in Networks. arXiv:1605.05717v2, November 2016.
Kishori Konwar, Nancy Lynch, Muriel Medard and Prakash Narayana Moorthy.
RADON: Repairable Atomic Data Object in Networks. arXiv:1605.05717v1, May 2016.
Nancy Lynch, Cameron Musco, and Merav Parter. Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. arXiv 1610.02084, October 2016.
Cameron Musco, Hsin-Hao Su, and Nancy Lynch. Ant-Inspired Density Estimation via Random Walks (Extended Abstract). 4th Workshop on Biological Distributed Algorithms, Chicago, IL, July 2016. .pdf
Cameron Musco, Hsin-Hao Su, and Nancy Lynch. Ant-Inspired Density Estimation via Random Walks. Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), Chicago, Illinois, pages 469-478, July 2016. .pdf Also, arxiv.org/abs/1603.02981v1, March 2016.
Cameron Musco, Hsin-Hao Su, and Nancy Lynch. Ant-Inspired Density Estimation via Random Walks. arxiv 1603.02981v1, March 2016.
Zhiying Wang, Viveck R. Cadambe and Nancy Lynch. Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), Chicago, Illinois, July 2016. .pdf Also, arXiv:1605.06844v2, May 2016.
Zhiying Wang, Viveck R. Cadambe and Nancy Lynch. Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. arXiv:1605.06844v2, May 2016.
2015
Keren Censor-Hillel, Erez Kantor, Nancy Lynch and Merav Parter. Computing in Additive Networks with Bounded-Information Codes. In Yoram Moses, editor, Distributed Computing: 29th International Symposium (DISC 2015), Tokyo Japan, October 2015, volume 9363 of Lecture Notes in Computer Science, pages 405-519, 2015. Springer. .pdf Also, arXiv:1508.03660, August 2015.
Keren Censor-Hillel, Erez Kantor, Nancy Lynch and Merav Parter. Computing in Additive Networks with Bounded-Information Codes. arXiv:1508.03660, August 2015.
Keren Censor-Hillel, Bernhard Haeupler, Nancy Lynch, and Muriel Medard. Bounded-Contention Coding for the Additive Network Model. Distributed Computing, 28(5):297-308, 2015. .pdf Earlier version appeared as title "Bounded-Contention Coding for Wireless Networks in the in High SNR Regime" in Marcos K. Aguilera, editor, Distributed Computing: Proceedings of the 26th International Symposium (DISC 2012), Salvador, Brazil, October 2012,
volume 7611 of Lecture Notes in Computer Science, pages 91-105, 2012. Springer. .pdf ArXiv submission, available at arxiv.org/pdf/1208.6125, and MIT Technical Report MIT-CSAIL-TR-2012-026, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139, August 2012. .pdf
Anna Dornhaus, Nancy Lynch, Tsvetomira Radeva, and Hsin-Hao Su. Brief Announcement: A Distributed Task Allocation in Ant Colonies. 29th International Symposium on Distributed Computing, (DISC 2015) Tokyo, Japan, October 2015. .pdf
Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy Lynch.
Distributed House-Hunting in Ant Colonies. ACM Symposium on Principles of Distributed Computing (PODC 2015), Donostia-San Sebastian, Spain, pages 57-66, July 2015. .pdf Also, arXiv:1505.03799, May 2015.
Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy Lynch.
Distributed House-Hunting in Ant Colonies. arXiv:1505.03799, May 2015.
Magnus Halldorsson, Stephan Holzer and Nancy Lynch. A Local Broadcast Layer for the SINR Network Model. ACM Symposium on Principles of Distributed Computing (PODC 2015), Donostia-San Sebastian, Spain, pages 109-118, July 2015. .pdf. Also, arxiv:1505.04514, May 2015.
Magnus Halldorsson, Stephan Holzer and Nancy Lynch. A Local Broadcast Layer for the SINR Network Model. arxiv:1505.04514, May 2015.
Nancy Lynch and Calvin Newport.
A (Truly) Local Broadcast Layer for Unreliable Radio Networks.
ACM Symposium on Principles of Distributed Computing (PODC 2015), Donostia-San Sebastian, Spain, pages 109-118, July 2015. .pdf
Nancy Lynch and Calvin Newport. A (Truly) Local Broadcast Layer for Unreliable Radio Networks. Technical Report MIT-CSAIL-TR-016, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139, May 2015. .pdf
Nancy Lynch and Srikanth Sastry. Consensus using Asynchronous Failure Detectors. Technical Report MIT-CSAIL-TR-2015-006, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139, March, 2015 .pdf
and arxiv:1502.02538v2, February 2015.
Nancy Lynch and Srikanth Sastry. Consensus using Asynchronous Failure Detectors. arxiv:1502.02538v2, February 2015.
2014
Viveck R. Cadambe, Nancy Lynch, Muriel Medard, and Peter Musial. Coded Emulation of Shared Atomic Memory for Message Passing Architectures. The 13th IEEE International Symposium on Network Computing and Applications (IEEE NCA14), Cambridge, MA, August 2014. Best Paper Award. .pdf
Viveck R. Cadambe, Nancy Lynch, Muriel Medard, and Peter Musial. A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. Technical Report MIT-CSAIL-TR-2014-015, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139, August 2014. .pdf Also, arXiv:1407.4167, July 2014.
Viveck R. Cadambe, Nancy Lynch, Muriel Medard, and Peter Musial. A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. arXiv:1407.4167, July 2014.
Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy Lynch and Calvin Newport. Structuring Unreliable Radio Networks. Distributed Computing, 27(1):1-19, February 2014. .pdf
Alejandro Cornejo, Anna Dornhaus, Nancy Lynch, and Radhika Nagpal. Task Allocation in Ant Colonies. In Fabian Kuhn, editor, Distributed Computing: 28th International Symposium on Distributed Computing (DISC'14), Austin, TX, October 2014, volume 8784 of Lecture Notes in Computer Science, pages 46-60, 2014. Springer. .pdf
Mohsen Ghaffari, Erez Kantor, Nancy Lynch, and Calvin Newport. Multi-Message Broadcast with Abstract MAC Layers and Unreliable Links. Proceedings of the 33nd Annual ACM Symposium on Principles of Distributed Computing (PODC'14), Paris, France, pages 56-65, July 2014. .pdf
Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch and Calvin C. Newport. Multi-Message Broadcasting with Abstract MAC Layers and Unreliable Links. arxiv:1405.1671, May 2014.
Majid Khabbazian, Dariusz Kowalski, Fabian Kuhn, and Nancy Lynch.
Decomposing Broadcast Algorithms Using Abstract MAC Layers. Ad Hoc Networks, volume 12, pages 219-242, 2014. Elsevier. .pdf
Christoph Lenzen, Nancy Lynch, Calvin Newport, and Tsvetomira Radeva. Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication. Proceedings of the 33nd Annual ACM Symposium on Principles of Distributed Computing (PODC'14), Paris, France, pages 252-261, July 2014. .pdf
2013
Dan Alistarh, Alejandro Cornejo, Mohsen Ghaffari, and Nancy Lynch. Firefly Synchronization with Asynchronous Wake-up. First Workshop on Biological Distributed Algorithms (BDA 2013), Jerusalem, Israel, October 2013. .pdf slides
Viveck R. Cadambe, Nancy Lynch, Muriel Medard, and Peter Musial. Coded Emulation of Shared Atomic Memory for Message Passage Architectures. Technical Report MIT-CSAIL-TR-2013-016, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Task-Structured Probabilistic I/O Automata. Technical Report MIT-CSAIL-TR-2013-006, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, April 2013. This paper was completed in May 2009. .pdf
Keren Censor-Hillel, Bernhard Haeupler, Nancy Lynch, and Muriel Medard. Bounded-Contention Coding for Wireless Networks in the High SNR Regime. Submitted for journal publication. Earlier version in Marcos K. Aguilera, editor, Distributed Computing: Proceedings of the 26th International Symposium (DISC 2012), Salvador, Brazil, October 2012,
volume 7611 of Lecture Notes in Computer Science, pages 91-105, 2012. Springer. .pdf
Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy Lynch and Calvin Newport. Structuring Unreliable Radio Networks. Submitted for journal publication. Earlier version in Proceedings of the 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, San Jose, California, June 6-8, 2011. .pdf
Alejandro Cornejo, Nancy Lynch, and Srikanth
Sastry. Asynchronous Failure Detectors. Technical Report,
MIT-CSAIL-TR-2013-025, Computer Science and Artificial Intelligence
Laboratory, Massachusetts Institute of Technology, October 2013. This report supersedes MIT-CSAIL-TR-2013-002 (below). .pdf
Alejandro Cornejo, Nancy Lynch, and Srikanth Sastry. Asynchronous Failure Detectors. Technical Report, MIT-CSAIL-TR-2013-002, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, January 2013. .pdf This report has been superseded by MIT-CSAIL-TR-2013-025 (above).
Mohsen Ghaffari, Nancy Lynch, and Calvin Newport. The Cost of Radio Network Broadcast for Different Models of Unreliable Links.
Proceedings of the 32nd Annual ACM Symposium on Principles of Distributed Computing, pages 345-354, Montreal Canada, July 2013. .pdf
2012
Keren Censor-Hillel, Bernhard Haeupler, Nancy Lynch, and Muriel Medard. Bounded-Contention Coding for Wireless Networks in the High SNR Regime. Technical Report MIT-CSAIL-TR-2012-026, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139, August 2012. .pdf
ArXiv submission, available at arxiv.org/abs/1208.6125, August 2012.
Keren Censor-Hillel, Bernhard Haeupler, Nancy Lynch, and Muriel Medard. Bounded-Contention Coding for Wireless Networks in the High SNR Regime. arxiv.org/abs/1208.6125, August 2012.
Keren Censor-Hillel, Bernhard Haeupler, Nancy Lynch, and Muriel Medard. Bounded-Contention Coding for Wireless Networks in the High SNR Regime. In Marcos K. Aguilera, editor, Distributed Computing: Proceedings of the 26th International Symposium (DISC 2012), Salvador, Brazil, October 2012,
volume 7611 of Lecture Notes in Computer Science, pages 91-105, 2012. Springer. .pdf
Alejandro Cornejo, Nancy Lynch and Srikanth Sastry.
Asynchronous Failure Detectors. Proceedings of the 31st Annual ACM Symposium on Distributed Computing, Madeira, Portugal, pages 243-252, July 2012. .pdf .ACM copyright
Mohsen Ghaffari, Nancy Lynch, and Srikanth Sastry.
Leader Election Using Loneliness Detection. Distributed Computing, 25(6): 427-450, 2012. Special issue for DISC 2011. .pdf
Mohsen Ghaffari, Bernhard Haeupler, Nancy Lynch, and Calvin Newport.
Bounds on Contention Management in Radio Networks. In Marcos K. Aguilera, editor, Distributed Computing: 26th International Symposium (DISC 2012), Salvador, Brazil, October, 2012, volume 7611 of Lecture Notes in Computer Science, pages 223-237, 2012. Springer. .pdf
Seth Gilbert and Nancy A. Lynch. Perspectives on the CAP Theorem. Computer, 45(2):30-35, 2012. IEEE. .pdf
Nancy Lynch, Tsvetomira Radeva, and Srikanth Sastry. Asynchronous Leader Election and MIS Using Abstract MAC Layer. Proceedings of FOMC 2012 (8th International Workshop on the Foundations of Mobile Computing), Madeira, Portugal, page 3, July 2012. .pdf .ACM copyright
2011
Paul Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy Lynch, and Sergio Rajsbuam. The Impossibility of Boosting Distributed Service Resilience.
Information and Computation, 209(6):927-950, June 2011. .pdf
Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy Lynch and Calvin Newport. Structuring Unreliable Radio Networks. Proceedings of the 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, San Jose, California, June 6-8, 2011. .pdf
Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy Lynch and Calvin Newport. Structuring Unreliable Radio Networks. Technical Report MIT-CSAIL-TR-2011-053, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, December, 2011. .pdf
Mohsen Ghaffari, Nancy Lynch, and Srikanth Sastry.
Leader Election Using Loneliness Detection. In David Peleg, editor, Distributed Computing: 25th International Symposium on DIStributed Computing (DISC 2011), Rome, Italy, September 2011, volume 6950 of Lecture Notes in Computer Science, pages 268-282, 2011. Springer. .pdf
Mohsen Ghaffari, Nancy Lynch, and Srikanth Sastry.
Leader Election Using Loneliness Detection. Technical Report MIT-CSAIL-TR-2011-045, Computer Science and Artificial and Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, October 2011. .pdf
Majid Khabbazian, Dariusz Kowalski, Fabian Kuhn, and Nancy Lynch.
Decomposing Broadcast Algorithms Using Abstract MAC Layers. Technical Report MIT-CSAIL-TR-2011-010, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambrige, MA, February 2011. .pdf
Majid Khabbazian, Fabian Kuhn, Nancy Lynch, Muriel Medard, and
Ali ParandehGheibi. MAC Design for Analog Network Coding. FOMC 2011: The Seventh ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing, San Jose, CA, pages 42-51, June 2011. .pdf
Fabian Kuhn, Nancy Lynch, and Calvin Newport. The Abstract MAC
Layer. Distributed Computing, 24(3):187-206, 2011. Special issue from DISC 2009 23rd International Symposium on Distributed Computing.
.pdf
Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, and Alex Shvartsman. The Tempo Language User Guide and Reference Manual, October 2011. .pdf
Calvin Newport and Nancy Lynch.
Modeling Radio Networks.
Distributed Computing, 24(2):101-118, October, 2011. .pdf
Tsvetomira Radeva and Nancy Lynch. Brief Announcement: Partial
Reversal Acyclicity. In Proceedings of the 30th Annual
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC),
San Jose, California, pages 353-354, June 6-8, 2011. .pdf
Tsvetomira Radeva and Nancy Lynch. Partial Reversal Acyclicity.
Technical Report MIT-CSAIL-TR-2011-022, Computer Science and Artificial and Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, April 2011. .pdf
Mikhail Volkov, Alejandro Cornejo, Daniela Rus and Nancy Lynch. Environment Characterization for Non-Recontaminating Frontier-Based Robotic Exploration.
4th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2011), Wollongong, Australia, November 2011. Best Student Paper Award. .pdf
Jiang Wu, Nancy Griffeth, Nancy Lynch, and Calvin Newport.
Engineering the Virtual Node Layer for Reactive MANET Routing. Proceedings of the 10th International Symposium on Network Computing
and Applications (NCA11), Cambridge, MA, August 2011. .pdf
2010
Alejandro Cornejo and Nancy Lynch. Fault-Tolerance Through k-Connectivity, IEEE International Conference on Robotics and Automation (ICRA 2010): Workshop on Network Science and System Issues in Multi-Robot Autonomy, Anchorage, Alaska, May 2010. .pdf
Alejandro Cornejo and Nancy Lynch. Reliably Detecting Connectivity
using Local Graph Traits. In Principles of Distributed Systems (OPODIS 2010), Tozeur, Tunisia, December 2010, volume 6490 of Lecture Notes in Computer Science, pages 87-102, 2010. Springer. .pdf
Seth Gilbert, Nancy Lynch, and Alex Shvartsman. RAMBO: A Robust, Reconfigurable Atomic Memory Service for Dynamic Networks. Distributed Computing, 23(4):225-272, December 2010. .pdf.
This is a slightly corrected version of the journal version, .pdf.
The changes are explained in the following errata sheet .pdf
Disun Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Synthesis Lectures on Computer
Science, Morgan Claypool Publishers, 2010. Second Edition. .pdf
Majid Khabbazian, Dariusz Kowalski, Fabian Kuhn, and Nancy Lynch.
Decomposing Broadcast Algorithms Using Abstract MAC Layers.
Proceedings of Sixth ACM SIGACT/SIGMOBILE International Workshop on
Foundations of Mobile Computing (DIALM-POMC 2010), Cambridge, MA, pages 13-22,
September, 2010. .pdf
Majid Khabbazian, Dariusz Kowalski, Fabian Kuhn, and Nancy Lynch.
The Cost of Global Broadcast using Abstract MAC Layers. Technical Report MIT-CSAIL-TR-2010-005, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, February 9, 2010. .pdf
Majid Khabbazian, Fabian Kuhn, Nancy Lynch, Muriel Medard, and Ali ParandehGheibi. MAC Design for Analog Network Coding. Technical Report MIT-CSAIL-TR-2010-036, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, July, 2010. .pdf
Fabian Kuhn, Nancy Lynch, and Calvin Newport. The Abstract MAC Layer. Technical Report MIT-CSAIL-TR-2010-040, Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, August 2010. .pdf
Fabian Kuhn, Nancy Lynch, Calvin Newport, Rotem Oshman, Andrea Richa. Broadcasting in Unreliable Radio Networks. Proceedings of the 29th ACM Symposium on Principles of Distributed Computing, Zurich, Switzerland, pages 336-345, July 2010. .pdf
Fabian Kuhn, Nancy Lynch and Rotem Oshman. Distributed Computation in
Dynamic Networks. Proceedings of the 42nd ACM Symposium on Theory of
Computing (STOC 2010), Cambridge, MA, pages 513-522, June 2010. .pdf
Fabian Kuhn, Nancy Lynch, Calvin Newport, Rotem Oshman, and Andrea Richa. Broadcasting in Unreliable Radio Networks. Technical Report MIT-CSAIL-TR-2010-029, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, June 2010. .pdf
Shinya Umeno and Nancy Lynch.
Automated Formal Verification of the DHCP Failover Protocol Using
Timeout Order Abstraction.
Proceedings of 15th IEEE International Conference on
Engineering of Complex
Computer Systems (ICECCS 2010), Oxford, UK, March 22-26 2010. .pdf
2009
Alejandro Cornejo, Nancy Lynch, Saira Viqar, Jennifer Welch.
Neighbor Discovery in Mobile Ad Hoc Networks Using an Abstract MAC Layer. Forty-Seventh Annual Allerton Conference, Champaign-Urbana, IL, October, 2009. Invited paper. .pdf
Alejandro Cornejo and Nancy Lynch. Brief Announcement: Minimum Spanning Trees and
Cone-Based Topology Control. Proceedings of the 28th Annual ACM
Symposium on Principles of Distributed Computing, Calgary, Canada,
August 2009. .pdf
Alejandro Cornejo, Fabian Kuhn, Ruy Ley-Wild, and Nancy Lynch. Keeping Mobile Robot Swarms Connected. In Idit Keidar, editor, Distributed Computing, DISC 2009: 23rd International Symposium on Distributed
Computing, Elche/Elx, Spain, September 23-25 2009, volume 5805 of Lecture Notes in Computer Science, pages 496-511, 2009. Springer.
.pdf Also, Extended version is Technical Report MIT-CSAIL-TR-2009-027, MIT
CSAIL, Cambridge, MA, June 2009.
.pdf
Shlomi Dolev, Seth Gilbert, Dariusz Kowalski, Fabian Kuhn, Nancy
Lynch, Calvin Newport. Reliable Distributed Computing on Unreliable
Radio Channels The MobiHoc S3 Student Workshop, New Orleans, LA,
May 2009. Invited paper. .pdf
Chryssis Georgiou, Nancy Lynch, Panayiotis Mavrommatis, and Joshua
Tauber.
Automated Implementation of Complex Distributed Algorithms
Specified in the IOA Language.
International Journal on Software Tools for Technology Transfer (STTT), 11(2):153-171, 2009. Springer. .pdf
Seth Gilbert, Nancy Lynch, Sayan Mitra, and Tina Nolte. Self-Stabilizing Robot Formations Over Unreliable Networks. ACM Transactions on Autonomous and Adaptive Systems, 4(3):17.2-17.27, July 2009. .pdf
Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy Lynch, and Calvin Newport. On the Weakest Failure Detector Ever. Distributed Computing, 21(5):353-366, February 2009. Special Issue PODC 2007. .pdf
Fabian Kuhn, Nancy Lynch, and Rotem Oshman.
Distributed Computation in Dynamic Networks.
Technical Report MIT-CSAIL-TR-2009-058, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, November 2009. .pdf
Fabian Kuhn, Nancy Lynch, and Calvin Newport. The Abstract MAC Layer. In I. Keidar, editor, Distributed Computing: 23rd International Symposium on Distributed
Computing (DISC 2009), Elche/Elx, Spain, September 23-25, 2009.. volume 5805 of Lecture Notes in Computer Science, pages 48-62, 2010. Springer. .pdf
Fabian Kuhn, Nancy Lynch and Calvin Newport. Brief Announcement:
Hardness of Broadcasting in Wireless Networks with Unreliable
Communication. Proceedings of the ACM Symposium on the
Principles of Distributed Computing (PODC), Calgary, Alberta,
Canada, August 2009. .pdf
Fabian Kuhn, Nancy Lynch, and Calvin Newport. The Abstract MAC Layer. Technical Report MIT-CSAIL-TR-2009-021, MIT CSAIL, Cambridge, MA, 02139, May 11, 2009. .pdf.
Earlier version as MIT-CSAIL-TR-2009-009, MIT CSAIL, Cambridge, MA, February 20, 2009.
Calvin Newport and Nancy Lynch. Modeling Radio Networks. In Mario Bravetti, Gianluigi Zavattaro, editors, CONCUR 2009 - Concurrency Theory, Proceedings of the 20th International Conference, Bologna, Italy, September, 2009, volume 5710 of Lecture Notes in Computer Science, pages 481-495,
2009. Springer. .pdf
Calvin Newport and Nancy Lynch. Modeling Radio Networks. Technical Report MIT-CSAIL-TR-2009-023, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, June 4, 2009. .pdf
Tina Nolte, Shlomi Dolev, Limor Lahiani, and Nancy Lynch.
Self-Stabilizing Message Routing in Mobile ad hoc Networks.
Technical Report MIT-CSAIL-TR-2009-003, MIT CSAIL, Cambridge, MA,
January 2009. Closely based on chapters 12-14 of Tina Nolte's MIT PhD thesis, 2009. .pdf
Shinya Umeno and Nancy Lynch. Timeout Order Abstraction for Time-Parametric Verification of Loosely Synchronized Real-Time Distributed Systems. Proceedings of the 2nd Workshop on Compositional Theory and Technology for Real-Time
Embedded Systems (CTRS 2009), Washington, D.C., December 1, 2009, (Co-located with RTSS 2009). .pdf
Jiang Wu, Nancy Griffeth, Nancy Lynch, Calvin Newport, and Ralph Droms. Simulating Fixed Virtual Nodes for Adapting Wireline Protocols to MANET. The 8th IEEE International Symposium on Network Computing and Applications (IEEE NCA09), July 9, 2009. Best Paper Award..pdf.
2008
Myla Archer, Hongpong Lim, Nancy Lynch, Sayan Mitra, and Shinya Umeno.
Specifying and proving properties of timed I/O automata using Tempo.
Journal of Design Automation for Embedded Systems, 2(1-2):139-170, June 2008. Springer. .pdf
Seth Gilbert, Nancy Lynch, Sayan Mitra, and Tina Nolte.
Self-Stabilizing Mobile Robot Formations with Virtual Nodes.
In Sandeep S. Kulkarni, Andre Schiper, editors, Stabilization, Safety and Security of Distributed Systems: Proceedings of the 10th Symposium (SSS 2008), Detroit, Michigan, November 2008, volume 5340 of Lecture Notes in Computer Science, pages 188-202, 2008. Springer. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier Pereira.
Modeling Computational Security in Long-Lived Systems, Version 2. Technical Report MIT-CSAIL-TR-2008-068, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, November 2008. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier Pereira.
Modeling Computational Security in Long-Lived Systems.
In Franck van Breugel, Marsha Chechik, editors, CONCUR 2008 - Concurrency Theory: 19th International Conference, Toronto, Canada, August, 2008, volume 5201 of Lecture Notes in Computer Science, pages 114-130, 2008. Springer. Available as Cryptology ePrint Archive as report 2007/406.
.pdf.
R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira, and R. Segala. Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Journal of Discrete Event Dynamic Systems (DEDS), 18(1):111-159, March 2008. (Appeared online February 2008). Springer. .pdf
Gregory Chockler, Seth Gilbert, and Nancy Lynch. Virtual Infrastructure for Collision-Prone Wireless Networks. Proceedings of the 27th Symposium on Principles of Distributed Computing (PODC), Toronto, Canada, pages 233-242, August 2008. .pdf
Gregory Chockler, Murat Demirbas, Seth Gilbert, Nancy Lynch, Calvin Newport, and Tina Nolte. Consensus and collision detectors in radio networks. Distributed Computing, 21(1):55-84, June 2008. .pdf
Alejandro Cornejo, Nancy Lynch. Connectivity Service for Mobile
Ad-Hoc Networks. Spatial Computing Workshop at 2nd IEEE
International Conference on Self-Adaptive and Self-Organizing Systems,
Venice, Italy, October 2008. .pdf
Shlomi Dolev, Seth Gilbert, Rachid Guerraoui and Calvin Newport.
Secure Communication over Radio Channels.
Proceeding of the 27th Symposium on Principles of Distributed Computing (PODC), Toronto, Canada, August, 2008. .pdf
R. Grosu, X. Huang, N. Lynch, S.A. Smolka. Model Checking TIOA.
Technical Report CS-CL-08-02,Department of Computer Science, Stony Brook
University, Stony Brook, NY, USA, 2008.
Rachid Guerraoui and Nancy A. Lynch.
A general characterization of indulgence.
ACM Transactions on Autonomous and Adaptive Systems (TAAS), 3(4), November 2008. .pdf
Nancy Lynch, Laurent Michel, and Alexander Shvartsman. Tempo: A Toolkit for The Timed Input/Output Automata Formalism. First International Conference on Simulation Tools and Techniques for Communications, Networks, and Systems (SIMUTools 2008), Industrial Track: Simulation Works. Conference Proc. CD, paper 3105, 8 pages, Marseille, France, March 4-7, 2008. .pdf
Daniel Liberzon, Nancy Lynch, and Sayan Mitra.
Verifying Average Dwell Time of Hybrid Systems. ACM Transactions in Embedded Computing Systems, 8(1):1-37, 2008. .pdf
2007
Matthew Brown, Seth Gilbert, Nancy Lynch, Calvin Newport, Tina
Nolte, and Michael Spindel. The Virtual Node Layer: A Programming
Abstraction for Wireless Sensor Networks. ACM SIGBED Review, 4(3), July 2007. .pdf
Matthew Brown, Seth Gilbert, Nancy Lynch, Calvin Newport, Tina
Nolte, and Michael Spindel. The Virtual Node Layer: A Programming
Abstraction for Wireless Sensor Networks. Proceedings of the
the International Workshop on Wireless Sensor Network Architecture
(WWSNA), Cambridge, MA, April, 2007. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier Pereira.
Modeling Computational Security in Long-Lived Systems. Cryptology ePrint Archive Report 2007/406. .pdf.
Ran Canetti, Ling Cheung, Nancy Lynch, and Olivier Pereira.
On the Role of Scheduling in Simulation-Based Security. 7th
International Workshop on Issues in the Theory of Security (WITS'07),
Braga, Portugal, March 2007. Also, ePrint Report 2007/102, Cryptology
ePrint archive, 2007. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier
Pereira. Compositional Security for Task-PIOAs.
Proceedings of the 20th IEEE Computer Security Foundations
Symposium (CSF 2007), Venice, Italy, pages 125-139, July 2007. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala. Using Task-Structured
Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.
Technical Report MIT-CSAIL-TR-2007-011, CSAIL, Massachusetts Institute of
Technology, Cambridge, MA, February 16, 2007. (Earlier version is
MIT-CSAIL-TR-2006-047). .pdf
Rui Fan, Ralph Droms, Nancy Griffeth, and Nancy Lynch. The DHCP
Failover Protocol: A Formal Perspective. In John Derrick, Juri Vain, editors, 27th IFIP WG 6.1 International Conference on Formal Methods for
Networked and Distributed Systems (FORTE 2007), Tallinn, Estonia, June 26-29, 2007, volume 4574 of Lecture Notes in Computer Science,
pages 211-226, 2007. Springer. .pdf
Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy Lynch,
and Calvin Newport. On the weakest failure detector ever.
Proceedings of the Twenty-Sixth Annual ACM Symposium on the Principles
of Distributed Computing (PODC), Portland, Oregon, pages 235-243, August 2007. .pdf
Xavier Koegler (supervised by Nancy Lynch). Around the Tempo Toolset Userguide. March 20th-August 31st, 2007. .pdf
Nancy A. Lynch. DISC 20th Anniversary, Invited Talk: My Early Days in Distributed Computing Theory: 1979-1982. In Andrzej Pelc, editor, Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, volume 4731 of Lecture Notes in Computer Science, page 505, 2007. Springer. .pdf
Nancy A. Lynch. Distributed computing theory: algorithms, impossibility results, models, and proofs. Proceedings of the 39th Annual ACM Symposium on Theory of Computing (STOC 2007), San Diego, California, page 247, June 11-13, 2007. .pdf
Nancy Lynch, Roberto Segala, and Frits Vaandrager.
Observing Branching Structure through Probabilistic Contexts.
Siam Journal on Computing, 37(4):977-1013, September 2007. .pdf
Sayan Mitra and Nancy Lynch. Proving approximate implementations for Probabilistic I/O Automata. Electronic Notes in Theoretical Computer Science, 174(8):71-93, 2007. .pdf
Sayan Mitra and Nancy Lynch. Trace-based semantics for Probabilistic timed I/O automata.
Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy,
April 3-5, 2007, volume 4416 of Lecture Notes in Computer Science. Springer, 2007. .pdf
Tina Nolte and Nancy Lynch. Self-stabilization and Virtual Node Layer
Emulations. In Toshimitsu Masuzawa, Sebastien Tixeuil, editors, Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium (SSS 2007), Paris, France, November 2007, volume 4838 of Lecture Notes in Computer Science, pages 394-408, 2007. Springer.
.pdf
Tina Nolte and Nancy Lynch. A Virtual Node-Based Tracking Algorithm for
Mobile Networks. International Conference on
Distributed Computing Systems (ICDCS 2007), Toronto, Canada, June, 2007. .pdf
Shinya Umeno and Nancy Lynch. Safety Verification of an Aircraft
Landing Protocol: A Refinement Approach. In Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo, editors, Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, April 3-5, 2007, volume 4416 of Lecture Notes in Computer Science, pages 557-572, 2007. Springer. .pdf
2006
Myla Archer, HongPing Lim, Nancy Lynch, Sayan Mitra and Shinya
Umeno. Specifying and Proving Properties of Timed I/O Automata in the TIOA
Toolkit. Fourth ACM-IEEE International
Conference on Formal Methods and Models for Codesign (MEMOCODE'06),
Napa Valley, California, pages 129-138, July, 2006. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala. Time-bounded Task-PIOAs: A
Framework for Analyzing Security Protocols. In Shlomi Dolev, editor, Distributed Computing, 20th International Symposium on Distributed Computing (DISC 2006), Stockholm, Sweden, September 2006, volume 4167 of Lecture Notes in Computer Science, pages 238-253, 2006. Springer. Invited paper.
.pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala. Task-Structured Probabilistic
I/O Automata. Technical Report MIT-CSAIL-TR-2006-060, CSAIL,
Massachusetts Institute of Technology, Cambridge, MA, August, 2006. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala.
Task-Structured Probabilistic I/O Automata.
Proceedings the 8th International Workshop on Discrete
Event Systems (WODES'06), Ann Arbor, Michigan, July, 2006. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, Roberto Segala. Using Task-Structured Probabilistic
I/O Automata to Analyze Cryptographic Protocols. In V. Cortier,
S. Kremer, editors, Workshop on Formal and Computational
Cryptography - FCC 2006, pages 34--39, July 2006. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala. Using Task-Structured
Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.
Technical Report MIT-CSAIL-TR-2006-047, CSAIL, Massachusetts Institute of
Technology, Cambridge, MA, June 19, 2006. (latest version is
MIT-CSAIL-TR-2007-011). .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala. Using Probabilistic I/O
Automata to Analyze an Oblivious Transfer Protocol. Technical
Report MIT-CSAIL-TR-2006-046, CSAIL, Massachusetts Institute of
Technology, Cambridge, MA, January 10, 2006. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala. Task-Structured Probabilistic
I/O Automata. Technical Report MIT-CSAIL-TR-2006-023, CSAIL,
Massachusetts Institute of Technology, Cambridge, MA, March, 2006. .pdf
Ling Cheung, Nancy Lynch, Roberto Segala, and Frits Vaandrager.
Switched PIOA: Parallel Composition via
Distributed Scheduling. Theoretical Computer Science, 365(1-2):83-108, November 2006.
.pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala. Using Task-Structured
Probabilistic I/O Automata to Analyze an Oblivious Transfer
Protocol. Technical Report MIT-CSAIL-TR-2006-019, CSAIL,
Massachusetts Institute of Technology, Cambridge, MA, March, 2006. .pdf
Constantinos Djouvas, Nancy D. Griffeth, and Nancy A. Lynch.
Testing Self-Similar Networks Electronic Notes in
Theoretical Computer Science, Proceedings of the Second Workshop on
Model Based Testing (MBT 2006), 164(4):67-82, October 2006. .pdf
Rui Fan and Nancy Lynch. Gradient Clock Synchronization.
Distributed Computing, volume 18, number 4, pages 255-266,
March, 2006. .pdf.
Rui Fan and Nancy Lynch. An Ω (n log n) Lower Bound on the Cost of Mutual Exclusion. Proceedings of the
Twenty-Fifth Annual Symposium on Principles of Distributed Computing
(PODC'06), Denver, Colorado, pages 275-284, July 2006. .pdf
Rachid Guerraoui and Nancy Lynch. A General Characterization of Indulgence. In Ajoy Kumar Datta, Maria Gradinariu, editors, Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium (SSS 2006), Dallas, TX, November 17-19, 2006, volume 4280 of Lecture Notes in Computer Science, pages 16-34, 2006. Springer. .pdf
Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager.
The Theory of Timed I/O Automata.Synthesis Lectures on Computer Science, Morgan Claypool
Publishers, 2006. Revised and shortened version
of Technical Report MIT-LCS-TR-917a (from 2004). .pdf
Sayan Mitra and Nancy Lynch. Approximate simulations for
task-structured probabilistic I/O automata.
LICS workshop on Probabilistic Automata and Logics
(PAul06), Seattle, WA, August 2006. .pdf
Sayan Mitra, Daniel Liberzon, and Nancy Lynch. Verifying average dwell
time by solving optimization problems. In Ashish Tiwari and
Joao P. Hespanha, editors, Hybrid Systems: Computation and
Control, 9th International Workshop (HSCC 06) Santa Barbara, CA, March 2006, volume 3927 of
Lecture
Notes in Computer Science, pages 476-490, 2006. Springer. .pdf
Shinya Umeno and Nancy Lynch.
Proving safety properties of an aircraft landing protocol
using I/O Automata and the PVS theorem prover: a case study.
In Jayadev Misra, Tobias Nipkow, Emil Sekerinski, editors, FM 2006: Formal Methods, 14th International Symposium of Formal Methods, Hamilton, Ontario Canada, August, 2006, volume 4085 of
Lecture Notes in Computer Science, pages 64-80, 2006. Springer. .pdf
2005
Paul Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy Lynch, and Sergio
Rajsbaum. The Impossibility of Boosting Distributed Service Resilience. 25th International Conference on
Distributed Computing Systems (ICDCS 2005), Columbus, OH, pages
39-48, June 6-10, 2005. .pdf
Paul Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy Lynch, and Sergio
Rajsbaum. Impossibility of boosting distributed service resilience.
Technical Report MIT-LCS-TR-982, Computer Science and Artificial
Intelligence Laboratory, Massachusetts Institute of Technology,
Cambridge, MA, February 2005. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov,
Nancy Lynch, Olivier Pereira, and Roberto Segala.
Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer
Protocol.ePrint Report 2005/452, Cryptology ePrint Archive, 2005. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch,
Olivier Pereira, and Roberto Segala. Using Probabilistic I/O Automata
to Improve the Analysis of Cryptographic Protocols. In ERCIM
News, 63: 40-41, October 2005. .pdf
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy
Lynch, Olivier Pereira, and Roberto Segala. Using Probabilistic I/O
Automata to Analyze an Oblivious Transfer Protocol. Technical
Report CSAIL-TR-2005-055, MIT CSAIL, Cambridge, MA, August 2005. .pdf
Gregory Chockler, Nancy Lynch, Sayan Mitra, and Joshua
Tauber. Proving Atomicity: An Assertional Approach In Pierre Fraigniaud, editor, Distributed Computing, 19th International Conference (DISC 2006), Cracow, Poland, September 2005, volume 3724 of Lecture Notes in Computer Science, pages 152-168, 2005. Springer.
.pdf
Gregory Chockler, Murat Demirbas, Seth Gilbert, Nancy Lynch, Calvin
Newport, and Tina Nolte. Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast.
Proceedings of the 4th International
Workshop on Assurance in Distributed Systems and Networks (ADSN 2005),
Columbus, Ohio, pages 42-48, June 2005. .pdf
Gregory Chockler, Nancy Lynch, Sayan Mitra, and Joshua
Tauber. Proving Atomicity: An Assertional Approach. Technical
Report MIT-LCS-TR-995, MIT CSAIL, Cambridge, MA, July 2005. .pdf
Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy Lynch, and Tina Nolte.
Timed Virtual Stationary Automata for Mobile Networks. In James H. Anderson, Giuseppe Prencipe, Roger Watenhofer, editors,
Principles of Distributed systems: 9th International Conference on
Principles of Distributed Systems (OPODIS 2005), Pisa, Italy, December 2005, volume 3974 of Lecture Notes in Computer Science, pages 130-145, 2006, Springer. Also, Technical Report MIT-LCS-TR-979a, MIT CSAIL, Cambridge, MA 02139, August 2005.
.pdf
Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy Lynch, and Tina Nolte.
Timed Virtual Stationary Automata for Mobile Networks. Allerton Conference 2005: Forty-Third Annual Allerton Conference on
Communication, Control, and Computing, September 2005. Invited
paper. .pdf
Shlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy Lynch, Tina Nolte.
Brief Announcement: Virtual Stationary Automata for Mobile Networks.
Proceedings of the 24th Annual ACM Symposium on
Principles of Distributed Computing (PODC'05), Las Vegas, Nevada,
page 323, July, 2005. .pdf
Shlomi Dolev, Limor Lahiani, Nancy Lynch, and Tina Nolte.
Self-Stabilizing Mobile Node Location Management and Message Routing.
Ted Herman, Sebastien Tixeuil, editors, Self-Stabilizing Systems: Seventh International Symposium on Self
Stabilizing Systems (SSS 2005), Barcelona, Spain, October 26-27,
2005, volume 3764 of Lecture Notes in Computer Science, pages 96-112, 2005. Springer. Also, Technical Report MIT-LCS-TR-999, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, August 2005. .pdf
Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy Lynch,
and Tina Nolte.
Virtual Stationary Automata for Mobile Networks (Extended
Abstract) Technical Report MIT-LCS-TR-979, MIT CSAIL, Cambridge,
MA 02139, January 2005. .pdf
Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alex A. Shvartsman, and
Jennifer L. Welch. GeoQuorums: Implementing Atomic Memory in
Mobile Ad Hoc Networks. Distributed
Computing, Special Issue DISC03, 18(2):125-155, 2005. .pdf
Also, Technical Report MIT-LCS-TR-900a,
CSAIL, Massachusetts Institute of Technology, Cambridge, MA, 2004. .pdf
Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy Lynch, and Tina
Nolte. Timed Virtual Stationary Automata for Mobile Networks.
Techncial Report MIT-LCS-TR-979a, MIT CSAIL, Cambridge, MA, August
2005. .pdf
Shlomi Dolev, Limor Lahiani, Nancy Lynch, and Tina Nolte.
Self-Stabilizing Mobile Node Location Management and Message Routing.
Technical Report MIT-LCS-TR-999, MIT Computer Science and Artificial
Intelligence Laboratory, Cambridge, MA, August 2005. .pdf
Stephen Garland, Dilsun Kaynar, Nancy Lynch, Joshua Tauber, and
Mandana Vaziri. TIOA Tutorial. May 22, 2005. .pdf
Chryssis Georgiou, Nancy Lynch, Panayiotis Mavrommatis and Joshua
Tauber. Automated Implementation of Complex Distributed Algorithms
Specified in the IOA Language. Proceedings of the ISCA 18th International Conference on Parallel and Distributed Computing Systems, Las Vegas, Nevada, 128-134, September, 2005. .pdf
Dilsun Kaynar, Nancy Lynch, Sayan Mitra, and Stephen Garland.
The TIOA Language, Version 0.21, May 22, 2005. .pdf
Hongping Lim, Dilsun Kaynar, Nancy Lynch, and Sayan Mitra.
Translating timed I/O automata specifications for theorem proving
in PVS. In Paul Pettersson, Wang Yi, editors, Formal Modeling
and Analysis of Timed Systems, Third International Conference (FORMATS
2005), Uppsala, Sweden, September 26-28, volume 3829 of Lecture
Notes in Computer Science, pages 17-31, 2005. Springer. .pdf
Nancy Lynch. A Three-Level
Analysis of a Simple Acceleration Maneuver, with Uncertainties. In Aurel Cornell and Dan Ionescu, editors, Real-Time
Systems: Modeling, Design, and Applications, volume 8 of AMAST
Series in Computing, World Scientific Publishing Company, 2005. .pdf
Nancy Lynch, Sayan Mitra, and Tina Nolte. Using Virtual Nodes to Coordinate the Motion of Mobile Nodes. CDC-ECC 2005: Forty-Fourth IEEE Conference on
Decision and Control and European Control Conference, Seville,
Spain, December 2005. Invited paper. .pdf
Nancy Lynch, Sayan Mitra, and Tina Nolte. Motion coordination
using virtual nodes. Technical Report MIT-LCS-TR-986, MIT CSAIL, Cambridge, MA,
April 2005. .pdf
2004
Ling Cheung, Nancy Lynch, Roberto Segala, and Frits Vaandrager.
Switched Probabilistic I/O Automata. In Z. Liu and K. Araki,
editors, Theoretical Aspects of Computing, First International Colloquium (ICTAC2004),Guiyang, China, September 2004,
volume 3407 of Lecture Notes in Computer Science, pages
494-510, Springer-Verlag, 2005. .pdf
Ling Cheung, Nancy Lynch, Roberto Segala, and Frits Vaandrager.
Switched Probabilistic I/O Automata. Nijmegen Institute for
Computing and Information Sciences (NIII) Technical Report NIII-R0437,
Catholic University of Nijmegen, Nijmegen, The Netherlands, September 2004.
.pdf
.ps
Murat Demirbas, Anish Arora, Tina Nolte, and Nancy Lynch. A
Hierarchy-based Fault-local Stabilizing Algorithm for Tracking in
Sensor Networks. In Teruo Higashino,
editor, Principles of Distributed Systems, 8th
International Conference on Principles of Distributed Systems (OPODIS 2004), Grenoble, France, December 15-17, 2004,,
volume 3544 of Lecture Notes in Computer Science, pages 299-315,
2005. Springer. .pdf.
Murat Demirbas, Anish Arora, Tina Nolte, and Nancy Lynch. Brief
Announcement: STALK: A Self-Stabilizing Hierarchical Tracking Service
for Sensor Networks. Proceedings of the 23rd Annual ACM SIGACT-SIGOPS
Symposium on Principles of Distributed Computing (PODC 2004), page 378, St. John's, Newfoundland, Canada, page 378, July 25-28, 2004. .pdf .ps
Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alex
A. Shvartsman, and Jennifer L. Welch. Virtual Mobile Nodes for
Mobile Ad Hoc Networks. In Rachid Guerraoui, editor, DISC 2004 (18th International
Symposium on Distributed Computing, Trippenhuis, Amsterdam, the
Netherlands, October, 2004), volume 3274 of Lecture Notes in
Computer Science, pages 230-244, Springer, December, 2004. .pdf
.ps
Shlomi Dolev, Seth Gilbert, Nancy Lynch, Elad Schiller, Alex
Shvartsman, Jennifer Welch. Brief Announcement: Virtual Mobile
Nodes for Mobile Ad Hoc Networks. Proceedings of
the 23rd Annual ACM SIGACT-SIGOPS Symposium on Principles of
Distributed Computing (PODC 2004), St. John's,
Newfoundland, Canada, page 385, July 25-28, 2004. .pdf Also, Technical
Report MIT-LCS-TR-937, MIT CSAIL, Cambridge, MA, 2004.
Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alex A. Shvartsman, and
Jennifer L. Welch. GeoQuorums: Implementing Atomic Memory in Ad
Hoc Networks. Technical Report MIT-LCS-TR-900a,
CSAIL, Massachusetts Institute of Technology, Cambridge, MA, 2004. .pdf
Rui Fan and Nancy Lynch. Gradient Clock Synchronization.
Proceedings of the Twenty-Third Annual ACM SIGACT-SIGOPS Symposium
on Principles of Distributed Computing (PODC 2004), St. John's,
Newfoundland, Canada, pages 320-327, July 25-58, 2004. Best Student
Paper Award..pdf
Rui Fan, Indraneel Chakraborty, and Nancy Lynch. Clock
Synchronization for Wireless Networks. In Teruo Higashino,
editor, Principles of Distributed Systems: OPODIS 2004: 8th
International Conference on Principles of Distributed Systems,
Grenoble, France, December 15-17, 2004, volume 3544 of Lecture
Notes in Computer Science, pages 400-414, 2005. Springer. .pdf
Seth Gilbert, Nancy Lynch, and Alex Shvartsman. RAMBO II: Rapidly Reconfigurable atomic memory for dynamic networks. Technical Report MIT-CSAIL-TR-890, CSAIL,
Massachusetts Institute Technology, Cambridge, MA, 2004. .pdf
Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Technical Report MIT-LCS-TR-917a, MIT Laboratory for Computer Science, Cambridge, MA, November, 2004. .pdf .ps Revised version, Synthesis Lectures on Computer Science, Morgan Claypool Publishers, November 2005.
Dilsun K. Kaynar and Nancy A. Lynch. Decomposing Verification
of Timed I/O Automata. Formal Techniques, Modelling and
Analysis of Timed and Fault Tolerant Systems: Joint International
Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS
2004, and Format Technicques in Real-Time and Fault-Tolerant Systems,
FTRTFT 2004, Grenoble, France, September 22-24, 2004, volume 3253 of
Lecture Notes in Computer Science, pages 84-101, Springer-Verlag, 2004. .pdf
Dilsun Kaynar, Nancy Lynch, and Sayan Mitra. Specifying and Proving Timing Properties with TIOA Tools. 25th IEEE International Real-Time Systems Symposium, Work in Progress Session (RTSS 2004 WIP), December 5-8 2004, Lisbon, Portugal. .pdf
Nancy Lynch and Ion Stoica. MultiChord: A resilient namespace management
algorithm. Technical Memo MIT-LCS-TR-936, CSAIL,
Massachusetts Institute of Technology, Cambridge, MA 2004. .pdf .ps
Nancy Lynch, Roberto Segala, and Frits Vaandrager.
Compositionality for Probabilistic Automata.
Technical Report MIT-LCS-TR-907, Computer Science and Artificial Intelligence
Laboratory, Massachusetts Institute of Technology, Cambridge, MA,
November 2004. .pdf .ps
Joshua A. Tauber and Nancy A. Lynch and Michael J. Tsai.
Compiling IOA without Global Synchronization. Proceedings of the 3rd IEEE International Symposium on
Network Computing and Applications (IEEE NCA04), Cambridge, MA, pages 121-130, August
2004. .pdf
Mandana Vaziri, Joshua A. Tauber, Michael J. Tsai, and Nancy Lynch.
Systematic Removal of Nondeterminism for Code Generation in I/O
Automata. MIT CSAIL Technical Report MIT-LCS-TR-960, July 2004. .pdf .ps
2003
Paul C. Attie and Nancy A. Lynch. Dynamic Input/Output Automata: a
Formal and Compositional Model for Dynamic Systems. Technical Report
MIT-LCS-TR-902, MIT Laboratory for Computer Science, Cambridge, MA,
02139, July 2003 and Technical Report, College of
Computer Science, Northeastern University, July 2003. Latest version is dated November 2003 .pdf
Murat Demirbas, Anish Arora, Tina Nolte, and Nancy Lynch.
STALK: A Self-Stabilizing Hierarchical Tracking Service
for Sensor Networks Technical Report OSU-CISRC-4/03-TR19,
Ohio State University, April 2003. .pdf
Shlomi Dolev, Seth Gilbert, Nancy Lynch, Alex Shvartsman, and Jennifer
Welch. GeoQuorums: Implementing Atomic Memory in Ad Hoc Networks.
Distributed Computing, 17th International Symposium on Distributed
Computing (DISC 2003), Sorrento, Italy, October, 2003, volume 2848 of Lecture
Notes in Computer Science, pages 306-320, Springer-Verlag, 2003. .pdf
Shlomi Dolev, Seth Gilbert, Nancy Lynch, Alex Shvartsman, and Jennifer Welch.
GeoQuorums: Implementing atomic memory in ad hoc networks. Technical Report MIT-LCS-TR-900, MIT
Laboratory for Computer Science, Cambridge, MA, 02139, 2003. .pdf.ps
Rui Fan and Nancy Lynch. Efficient Replication of Large Data
Objects. Distributed Computing (DISC 2003: 17th International Symposium on Distributed
Computing, Sorrento, Italy, October, 2003), volume 2848 of Lecture
Notes in Computer Science, pages 75-91, Springer-Verlag, 2003. .pdf
Rui Fan and Nancy Lynch. Efficient replication of Large Data
Objects. Proceedings of the Twenty-Second Annual ACM Symposium on
Principles of Distributed Computing, Boston, Massachusetts, page
335, July 2003..pdf
Stephen Garland, Nancy Lynch, Joshua Tauber, and Mandana Vaziri. IOA User Guide and Reference Manual. Technical Report MIT-LCS-TR-961, MIT Laboratory for Computer Science, Cambridge, MA, August 14, 2003. .pdf
Seth Gilbert, Nancy Lynch, and Alex Shvartsman. RAMBO II:
Rapidly Reconfigurable Atomic Memory for Dynamic Networks. Proceedings of the International Conference on Dependable
Systems and Networks (DSN), San Francisco, CA, pages 259-268, June 22nd - 25th,
2003. .pdf
Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager.
Timed I/O Automata: A Mathematical Framework for Modeling and
Analyzing Real-Time Systems. RTSS 2003: The 24th
IEEE International Real-Time Systems Symposium, Cancun, Mexico, pages 166-177,
December, 2003. .pdf .ps
Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager.
The Theory of Timed I/O Automata. Technical Report
MIT-LCS-TR-917, MIT Laboratory for Computer Science, Cambridge, MA, 2003. .pdf .ps
Roger Khazan and Nancy Lynch. An Algorithm for an
Intermittently Atomic Data Service Based on Group Communication.
Proceedings of the International Workshop on Large-Scale Group Communication,
Florence, Italy, pages 25-30, October 2003. .pdf
Carolos Livadas and Nancy A. Lynch. A Reliable Broadcast Scheme
for Sensor Networks. Technical Report MIT-LCS-TR-915, MIT Computer Science and
Artificial Intelligence Laboratory, Cambridge, MA, February 2007
(Revision of earlier version dated August 2003). .pdf
Nancy Lynch. Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... In Roberto Amadio and Denis Lugiez, editors, CONCUR
2003 - Concurrency Theory, 14th International Conference on
Concurrency Theory, Marseille, France, September, 2003, volume
2761 of Lecture Notes in Computer Science, pages 191-192,
Springer-Verlag, 2003. .pdf
Nancy Lynch, Roberto Segala, and Frits Vaandrager.
Compositionality for Probabilistic Automata. In
Roberto Amadio and Denis Lugiez, editors, CONCUR 2003 - Concurrency
Theory, 14th International Conference on Concurrency Theory, Marseille,
France, September, 2003, volume 2761 of Lecture Notes in Computer Science,
pages 208-221, Springer-Verlag, 2003. .pdf
Nancy Lynch, Roberto Segala, and Frits Vaandrager. Hybrid I/O Automata.
Information and Computation, 185(1):105-157, August 2003. .pdf Also, Technical
Report MIT-LCS-TR-827d, MIT Laboratory
for Computer Science, Cambridge, MA 02139, January 13, 2003.
Nancy Lynch. Some Perspectives on PODC. Distributed
Computing, 16(1):71-74, 2003. .pdf
Nancy Lynch. Working with Mike on Distributed Computing Theory,
1978-1992.Proceedings of the Twenty-Second Annual ACM Symposium on
Principles of Distributed Computing (PODC'03), page 11, Boston, MA, July
2003.
.pdf
Sayan Mitra, Yong Wang, Nancy Lynch, and Eric Feron.
Safety Verification of Model Helicopter Controller using Hybrid
Input/Output Automata. O. Maler, A. Pnueli, editors, Hybrid
Systems: Computation and Control, 6th International Workshop
(HSCC'03), Prague, the Czech Republic April 3-5, 2003, volume 2623 of
Lecture Notes in Computer Science, pages 343-358, Springer-Verlag, 2003..pdf
Sayan Mitra, Yong Wang, Nancy Lynch, and Eric Feron.
Application of Hybrid I/O Automata in Safety Verification of
Pitch Controller for Model Helicopter System.
Technical Report MIT-LCS-TR-880, MIT Laboratory for Computer Science,
Cambridge, MA 02139, January 2003. .pdf
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun K. Kaynar,
and Nancy Lynch. Using simulated execution in verifying
distributed algorithms. In L.D. Zuck, P.C. Attie, A. Cortesi,
S. Mukhopadhyay, editors, Verification, Model Checking, and
Abstract Interpretation, Proceedings of 4th International Conference, (VMCAI 2003), NewYork, NY, USA, January
9-11, 2003, volume 2575 of Lecture Notes in Computer Science,
pages 283-297, Springer-Verlag, 2003. .pdf .ps
Toh Ne Win, Michael Ernst, Stephen Garland, Dilsun Kirli, and Nancy Lynch.
Using simulated execution in verifying distributed algorithms.
International Journal on Software Tools for Technology Transfer
(STTT), 6(1):67-76, July 2004..pdf
2002
Paul Attie, Nancy Lynch, and Sergio Rajsbaum.
Boosting Fault-Tolerance in Asynchronous Message Passing Systems is
Impossible. Technical Report MIT-LCS-TR-877, MIT Laboratory for
Computer Science, Cambridge, MA, 02139, December 2002. .pdf
Ziv Bar-Joseph and Idit Keidar and Nancy Lynch.
Early-Delivery Dynamic Atomic Broadcast. In D. Malkhi,
editor, Distributed Computing (Proceedings of the
16th International Symposium on DIStributed Computing (DISC) October 2002,
Toulouse, France), volume 2508 of Lecture Notes in Computer
Science, pages 1-16, 2002. Springer-Verlag. .pdf
Ziv Bar-Joseph, Idit Keidar, and Nancy Lynch. Early-Delivery
Dynamic Atomic Broadcast. Technical Report MIT-LCS-TR-840, MIT
Laboratory for Computer Science, Cambridge, MA, April 2002. .pdf
Andrej Bogdanov, Stephen Garland, and Nancy A. Lynch.
Mechanical Translation of I/O Automaton Specifications into
First-Order Logic. In Doron Peled, Moshe Y. Vardi, editors,
Formal Techniques for Networked and Distributed Systems - FORTE 2002
(Proceedings of the 22nd IFIP WG 6.1 International Conference,
Houston, Texas, USA, November 11-14, 2002), volume 2529 of Lecture
Notes in Computer Science, pages 364-368, Springer 2002. .pdf
Roberto De Prisco, Alan Fekete, Nancy Lynch, and Alex Shvartsman. A
Dynamic Primary Configuration Group Communication Service.
Technical Memo MIT-LCS-TR-873, MIT Laboratory for Computer Science,
Cambridge, MA, November 2002. .pdf.
Roberto De Prisco, Nancy Lynch, Alexander Shvartsman, Nicole Immorlica, and Toh Ne Win. A Formal Treatment of Lamport's Paxos Algorithm. Manuscript, October 2002. .pdf
Seth Gilbert and Nancy Lynch. Brewer's conjecture and the
feasibility of consistent, available, partition-tolerant web
services. SIGACT News, 33(2):48-51, June 2002. .pdf .ps
Dilsun Kirli Kaynar, Anna Chefter, Laura Dean, Stephen J. Garland,
Nancy A. Lynch, Toh Ne Win, and Antonio Ramirez-Robredo.
Simulating Nondeterministic Systems at Multiple Levels of
Abstraction. In Tools Day held in conjunction with CONCUR'02, Brno, Czech
Republic, August 2002. .pdf
Dilsun Kirli Kaynar, Anna Chefter, Laura Dean, Stephen Garland,
Nancy Lynch, Toh Ne Win, and Antonio Ramirez-Robredo. The IOA Simulator. Technical Report
MIT-LCS-TR-843, MIT Laboratory for Computer Science, Cambridge, MA,
July 2002. pdf
Idit Keidar, Roger Khazan, Nancy Lynch and Alex Shvartsman.
An Inheritance-Based Technique for Building Simulation Proofs
Incrementally.
ACM Transactions on Software Engineering and
Methodology (TOSEM), 11(1):63-91, January 2002. Conference
version in ICSE, 2000, pages 478-487. .pdf
Carolos Livadas and Nancy A. Lynch. A Formal Venture into Reliable
Multicast Territory. In Doron Peled, Moshe Y. Vardi, editors,
Formal Techniques for Networked and Distributed Systems - FORTE 2002
(Proceedings of the 22nd IFIP WG 6.1 International Conference,
Houston, Texas, USA, November 11-14, 2002), volume 2529 of Lecture
Notes in Computer Science, pages 146-161, Springer 2002. .pdf
Also, full version as Technical Report MIT-LCS-TR-868, MIT
Laboratory for Computer Science, Cambridge, MA, November 2002. .pdf
Carolos Livadas and Nancy A. Lynch. A Formal Venture into Reliable
Multicast Territory. Technical Report MIT-LCS-TR-868, MIT
Laboratory for Computer Science, Cambridge, MA, November 2002. .pdf
Nancy Lynch, Dahlia Malkhi, David Ratajczak. Atomic Data Access in
Distributed Hash Tables. In P. Druschel, F. Kaashoek, and A. Rowstron, editors, Peer-to-Peer
Systems (First International Workshop on
Peer-to-Peer Computing, Cambridge, MA, March 2002), volume 2429 of
Lecture Notes in Computer Science, pages 295-305, Springer, 2002.
.pdf
Nancy Lynch and Alex Shvartsman. RAMBO: A Reconfigurable
Atomic Memory Service for Dynamic Networks. In D. Malkhi,
editor, Distributed Computing (Proceedings of the
16th International Symposium on DIStributed Computing (DISC) October 2002,
Toulouse, France), volume 2508 of Lecture Notes in Computer
Science, pages 173-190, 2002. Springer-Verlag. .pdf Also,
Technical Report MIT
Laboratory for Computer Science, Technical Report MIT-LCS-TR-856,
Cambridge, MA 2002. .pdf.ps
Nancy Lynch and Alex Shvartsman. RAMBO: A Reconfigurable Atomic
Memory Service for Dynamic Networks. Technical Report MIT-LCS-TR-856,
MIT Laboratory for Computer Science, Cambridge, MA, 2002. .pdf .ps
Nancy Lynch and Alex Shvartsman. Communication and Data Sharing
for Dynamic Distributed Systems. In A. Schiper et al,
editors, Future Directions in Distributed Computing, Research and
Position Papers, volume 2584
of Lecture Notes in Computer Science, pages 62-67, Springer-Verlag,
2003. (Originally in FuDiCo 2002: Proceedings of the
International Workshop on Future Directions in Distributed Computing, Bertinoro, Italy, editors, Ozalp Babaoglu, Ken Birman, and Keith Marzullo, pages 29-32, June 2002. .pdf
2001
Paul C. Attie and Nancy A. Lynch. Dynamic Input/Output Automata: a
Formal Model for Dynamic Systems.
In K. G. Larsen and M. Nielsen, editors, CONCUR 2001 - Concurrency
Theory: 12th International Conference on Concurrency Theory,
Aaalborg, Denmark, August 20-25, 2001, Proceedings, volume 2154 of
Lecture Notes in Computer Science, pages 137-151, 2001.
Springer-Verlag. .pdf
Paul C. Attie and Nancy A. Lynch. Brief Announcement: Dynamic Input/Output Automata, a Formal Model for Dynamic Systems. Proceedings of the Twentieth ACM Annual Symposium on Principles of Distributed Computing, Newport, RI, pages 314-316, 2001. .pdf
Elizabeth Borowsky, Eli Gafni, Nancy Lynch, and Sergio Rajsbaum.
The BG Distributed Simulation Algorithm.
Distributed Computing, 14(3):127-146, 2001. pdf.
Alan Fekete, Nancy Lynch, and Alex Shvartsman. Specifying and Using a Partitionable Group Communication
Service. ACM Transactions on Computer Systems, 19(2):171-216, May 2001. .pdf
Stephen J. Garland and Nancy A. Lynch and Mandana Vaziri. IOA: A
Language for Specifying, Programming and Validating Distributed Systems.
User and Reference Manual. Laboratory for Computer Science, Massachusetts
Institute of Technology, Cambridge, MA 02139, January 2001. .pdf
Carolos Livadas, Idit Keidar, and Nancy A. Lynch. Designing a Caching-Based Reliable
Multicast Protocol. Proceedings of the International Conference on
Dependable Systems and Networks (DSN'01), Fast Abstracts Supplement,
pages B44-B45, Gothenburg, Sweden, July 2001. .pdf
Nancy Lynch, Roberto Segala, and Frits Vaandrager. Hybrid I/O
Automata Revisited. In Maria Domenica Di Benedetto and Alberto
Sangiovanni-Vincentelli, editors Hybrid Systems: Computation and
Control. Fourth International Workshop (HSCC'01, Rome, Italy, March
2001, volume 2034 of Lecture Notes in Computer Science,
pages 403-417, 2001. Springer-Verlag. .pdf.
Long version is Technical Report MIT/LCS/TR-827, MIT Laboratory for
Computer Science, July 2001.
2000
Tadashi Araragi, Paul Attie, Idit Keidar, Kiyoshi Kogure, Victor
Luchangco, Nancy Lynch, and Ken Mano. On Formal Modeling of Agent
Computations. In J.L. Rash, C.A. Rouff, W. Truszkowski,
D. Gordon, M.G. Hinchey, editors, Formal Approaches to Agent-Based
Systems (First International Workshop on Formal Approaches to
Agent-Based System (FAABS 2000), Greenbelt, Maryland, April, 2000),
volume 1871 of Lecture Notes in Artificial Intelligence, pages 48-62,
Springer-Verlag, 2000. 