Go forward to Index.
Go backward to Internals.
Go up to Top.
Acknowledgements & Trademarks
*****************************
Thanks to the Formal Methods Group at Imperial College for suffering
patiently while Amd was being developed on their machines.
Thanks to the many people who have helped with the development of
Amd, especially Piete Brooks at the Cambridge University Computing Lab
for many hours of testing, experimentation and discussion.
* DEC, VAX and Ultrix are registered trademarks of Digital Equipment
Corporation.
* AIX and IBM are registered trademarks of International Business
Machines Corporation.
* Sun, NFS and SunOS are registered trademarks of Sun Microsystems,
Inc.
* Unix is a registered trademark of AT&T Unix Systems Laboratories
in the USA and other countries.
|
