home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / specific / 327 < prev    next >
Encoding:
Internet Message Format  |  1992-07-26  |  1.3 KB
  1. Path: sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!anthony
  2. From: anthony@cs.uq.oz.au (Anthony Lee)
  3. Newsgroups: comp.specification
  4. Subject: Re: Looking for specs of phone system
  5. Message-ID: <9547@uqcspe.cs.uq.oz.au>
  6. Date: 27 Jul 92 00:29:37 GMT
  7. References: <dk.711659792@alcor> <1992Jul24.025140.11391@siswat.hou.tx.us>
  8. Sender: news@cs.uq.oz.au
  9. Reply-To: anthony@cs.uq.oz.au
  10. Lines: 23
  11.  
  12. In <1992Jul24.025140.11391@siswat.hou.tx.us> buck@siswat.hou.tx.us (Lester Buck) writes:
  13.  
  14. >In article <dk.711659792@alcor> dk@alcor.concordia.ca (dimitri k) writes:
  15. >>I'm looking for specifications (preferably formal) of a phone 
  16. >>system---a plain old telephone system (POTS) will do.  The spec
  17. >>lang or method isn't a concern.  Ftpable sources welcome...
  18. >>
  19. >>dk
  20.  
  21.  
  22. >I got a report from the University of Queensland in Australia which
  23. >is a Z specification of Switching System 7 (if I remember).  It
  24. >covers the user, network, and switching center levels as the
  25. >detail increases.
  26.  
  27. I have written a specification of the basic telephone network in
  28. Object-Z.  Send me your snail mail address and I will send you
  29. the tech report.
  30. --
  31. Anthony Lee (Time Lord Doctor) (These are my opinions !)
  32. email: anthony@cs.uq.oz.au    voice:+(61)-7-3651204 FAX:+(61)-7-3651999
  33. SNAIL: Department Computer Science, The University of Qld, 
  34.        St Lucia, Qld 4072, Australia
  35.