Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!pacbell.com!pacbell!well!jjacobs
From: jjacobs@well.sf.ca.us (Jeffrey Jacobs)
Newsgroups: comp.software-eng
Subject: Re: Tools for Distributed Systems
Keywords: tools, formal methods, distributed systems
Message-ID: <23420@well.sf.ca.us>
Date: 1 Mar 91 22:37:45 GMT
References: <1991Feb26.133840.27676@newsserv.informatik.tu-muenchen.de>
Organization: Whole Earth 'Lectronic Link, Sausalito, CA
Lines: 10


You should probably take a look at Software A&E new "template" for 
building distributed systems, called SNAP.  It is a set of incomplete
modules, protocols, etc for building a distributed system.  I
believe they are located in Arlington, VA.

Jeffrey M. Jacobs
ConsArt Systems Inc, Technology & Management Consulting
P.O. Box 3016, Manhattan Beach, CA 90266
voice: (213)376-3802, E-Mail: 76702.456@COMPUSERVE.COM