shankar@SRC.Honeywell.COM (Subash Shankar) (11/16/90)
As a test case for a project dealing with busses, I am looking for an existing bus which is precisely (preferably formally) specified. The protocol is preferably simple, but the formalness in its specification is of primary importance. It doesn't matter which language the bus is specified in, as long as it is simple and formal (i.e. not pages and pages of timing diagrams). Are there any protocols which meet these requirements (or attempt to)? Thanks for any suggestions. --- Subash Shankar Honeywell Systems & Research Center MN65-2100 voice: (612) 782 7558 US Snail: 3660 Technology Dr., Minneapolis, MN 55418 shankar@src.honeywell.com srcsip!shankar