System Class	System	Pointers
IETF RFCs		http://www.rfc-editor.org
OMG   IEEE-IFIP	(FT-CORBA)   (Dependab.)	http://www.omg.org   http://www.dependability.org
Message Buses	TIBCO   iBus	http://www.tibco.com/   http://www.softwired-inc.com/
Group   Communication	ISIS   HORUS   Ensemble   Relacs   Transis   Totem   Phoenix   xAMp   Spread	http://www.cs.cornell.edu/Info/Projects/ISIS   http://www.cs.cornell.edu/Info/Projects/Horus   http://www.cs.cornell.edu/Info/Projects/Ensemble   http://www.cs.unibo.it/projects/relacs   http://www.cs.huji.ac.il/labs/transis   http://beta.ece.ucsb.edu/totem.html   http://lsewww.epfl.ch/projets/phoenix   http://www.navigators.di.fc.ul.pt/   http://www.spread.org
Checkpointing	Manetho   Libckpt   Egida	http://www.cs.cmu.edu/~mootaz/manetho.html   http://www.cs.utk.edu/~plank/plank/www/libckpt.html   http://www.cs.utexas.edu/users/lorenzo/lft.html
Transactional   systems	Argus   THOR   Arjuna	http://www.pmg.lcs.mit.edu   http://www.pmg.lcs.mit.edu/Thor.html   http://arjuna.ncl.ac.uk
Fault-tolerant   systems	Eternal   Electra   Cactus   OGS   Filterfresh	http://beta.ece.ucsb.edu/eternal/Eternal.html   http://www.softwired-inc.com/people/maffeis/electra.html   http://www.cs.arizona.edu/cactus   http://lsewww.epfl.ch/OGS   http://www1.bell-labs.com/org/11356/
Validation   and   Verification   Tools	LAAS   Critical   Ballista   ULTRASAN   Orchestra   Kronos   PVS	http://www.laas.fr   http://www.criticalsoftware.com   http://www.cs.cmu.edu/~koopman/ballista   http://www.crhc.uiuc.edu/PERFORM   http://www.eecs.umich.edu/RTCL/projects/orchestra   http://www-verimag.imag.fr   http://pvs.csl.sri.com
Clusters   and   Commercial   Platforms	IBM   TANDEM   STRATUS   Microsoft   Compaq	http://www.research.ibm.com   http://www.tandem.com   http://www.stratus.com   http://research.microsoft.com   http://http://www.compaq.com/enterprise/highavailability.html

Make Distributed Systems For System Architects your HomePage
Web Site hosted by: The Navigators Group of  LaSIGE  at Faculdade de Ciências of Universidade de Lisboa
© 2001 by Kluwer Academic Publishers and Paulo Veríssimo and Luís Rodrigues