Web site stuff

PRESENTATIONS: (already sent email to have a pointer go to: 
http://theory.lcs.mit.edu/tds/slides/Japan-IEEE.ppt.)

PUBLICATIONS:

-UPDATES (please update these references Ð and use the new .pdf/.ps)
Also, please put a subtitle ÒAgentsÓ Ð and then ÒGroup CommunicationÓ 
where indicated?  

AGENTS

Tadashi Araragi, Paul Attie, Idit Keidar, Kiyoshi Kogure, Victor 
Luchangco, Nancy Lynch, and Ken Mano.  On Formal Modeling of Agent 
Computations. In NASA Workshop on Formal Approaches to Agent-Based 
System. April, 2000. To appear as LNCS.   
(http://theory.lcs.mit.edu/~idish/ftp/agents-compare.pdf)

Paul Attie and Nancy Lynch.  A Formal Model for Dynamic Computation.   
Technical Report, May 2000.  In progress.
(http://theory.lcs.mit.edu/~attie/Papers/dsioa-May00.ps)

GROUP COMMUNICATION
  
Idit Keidar and Roger Khazan.  A Client-Server Approach to Virtually 
Synchronous Group Multicast: Specifications and Algorithms.  In the 
20th International Conference on Distributed Computing Systems (ICDCS), 
pages 344-355, April 2000. 
(http://theory.lcs.mit.edu/~idish/ftp/vs-icdcs00.pdf)

Idit Keidar, Jeremy Sussman, Keith Marzullo and Danny Dolev.  A Client-
Server Oriented Algorithm for Virtually Synchronous Group Membership in 
WANs.  In the 20th International Conference on Distributed Computing 
Systems (ICDCS), pages 356-365, April 2000. 
(http://theory.lcs.mit.edu/~idish/ftp/memb-icdcs.pdf)

Roman Vitenberg, Idit Keidar, Gregory V. Chockler and Danny Dolev:  
Group Communication Specifications: A Comprehensive Study. MIT 
Technical Report MIT-LCS-TR-790, September 1999.
http://theory.lcs.mit.edu/~idish/ftp/gcs-survey-tr.pdf) 

-ADDITIONS (please add these references and pointers for GROUP COMMUNICATION Publications.
 
Roberto DePrisco.  On Building Blocks for Distributed Systems.  PhD 
thesis, Department of Electrical Engineering and Computer Science, 
Massachusetts Institute of Technology, Cambridge, MA 02139, December 
1999.  
(http://theory.lcs.mit.edu/~robdep/PS/phdthesis.ps.gz)

Roberto De Prisco, Alan Fekete, Nancy Lynch, and Alex Shvartsman:
A Dynamic Primary Configuration Group Communication Service. 
In Prasad Jayanti, editor, Distributed Computing (Proceedings of 
DISC'99 - 13th International Symposium on Distributed Computing, 
Bratislava, Slovak Republic, September 1999), volume 1693 of Lecture 
Notes in Computer Science, pages 64--78, Springer-Verlag-Heidelberg.   
(http://theory.lcs.mit.edu/~robdep/PS/disc99.ps.gz)
Alan Fekete, Nancy Lynch, and Alex Shvartsman.  Specifying and Using a 
Partitionable Group Communication Service.  To appear in ACM 
Transactions on Computer Systems. 
(http://theory.lcs.mit.edu/tds/papers/Lynch/TOCS.ps.gz) 

Ziv Bar-Joseph, Idit Keidar, Tal Anker and Nancy Lynch.  QoS Preserving 
Totally Ordered Multicast.  MIT Technical Report MIT-LCS-TR-796, 
January 2000.  ps, ps.gz, pdf, abstract.  
(http://theory.lcs.mit.edu/~idish/ftp/qos-tr.pdf)

Kyle W. Ingols.  Availability Study of Dynamic Voting Algorithms.  
M.Eng. thesis, MIT department of Electrical Engineering and Computer 
Science, May 5, 2000.  
(http://theory.lcs.mit.edu/~idish/ftp/ingols-thesis.pdf)

Idit Keidar.  Group Communication.  Chapter in the Encyclopedia of 
Distributed Computing, Joseph Urban and Partha Dasgupta, editors, 
Kluwer Academic Publishers. To be published.  
(http://theory.lcs.mit.edu/~idish/ftp/GroupCommunication.pdf)

Idit Keidar, Roger Khazan, Nancy Lynch and Alex Shvartsman.  An 
Inheritance-Based Technique for Building Simulation Proofs 
Incrementally.  In the 22nd International Conference on Software 
Engineering (ICSE), pages 478-487, Limerick, Ireland, June 2000.  ps, 
ps.gz, pdf, ppt, abstract.   
(http://theory.lcs.mit.edu/~idish/ftp/icse00.ppt)

Idit Keidar and Danny Dolev.  Totally Ordered Broadcast in the Face of 
Network Partitions.  Exploiting Group Communication for Replication in 
Partitionable Networks, chapter 3 of Dependable Network Computing, 
pages 51-75, D. Avresky Editor, Kluwer Academic Publications.  January, 
2000. 
(http://theory.lcs.mit.edu/~idish/ftp/keidar-chapter2.pdf)

Idit Keidar and Roger Khazan.  A Client-Server Approach to Virtually 
Synchronous Group Multicast: Specifications, Algorithms, and Proofs.  
MIT Technical Report MIT-LCS-TR-794, November 1999.  
(http://theory.lcs.mit.edu/~idish/ftp/vs-tr.pdf)
 
Idit Keidar, Jeremy Sussman, Keith Marzullo and Danny Dolev:
A Client-Server Oriented Algorithm for Virtually Synchronous Group    
Membership in WANs.  MIT Technical Memorandum MIT-LCS-TM-593, June 
1999.  Also: University of California, San Diego, Technical Report 
CS99-623. 
(http://theory.lcs.mit.edu/~idish/ftp/wan-memb-tr.pdf)
 
Jeremy Sussman, Idit Keidar and Keith Marzullo:  Optimistic Virtual 
Synchrony.  To appear in the 19th IEEE Symposium on Reliable 
Distributed Systems (SRDS), October 2000.  [[pdf not ready yet- will be 
by august 1]  

Jeremy Sussman, Idit Keidar and Keith Marzullo.  Optimistic Virtual 
Synchrony.  MIT Technical Report MIT-LCS-TR-792, November 1999. 
(http://theory.lcs.mit.edu/~idish/ftp/ovs-tr.pdf)

Igor Tarashchanskiy.  Virtual Synchrony Semantics: Client-Server 
Implementation.  Masters thesis.  MIT Department of Electrical 
Engineering and Computer Science, Cambridge, Ma.  In progress.

 

Lastly- I already sent a comment through the website to
replace Theory of distributed Systems web page pointer 
(http://theory.lcs.mit.edu/tds) to http://theory.lcs.mit.edu/tds/agents.html.
 

 
Thanks, Joanne