Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!shelby!agate!darkstar!mumm.colorado.edu
From: cdash@mumm.colorado.edu (Charles Shub)
Newsgroups: comp.os.research
Subject: References wanted
Message-ID: <11835@darkstar.ucsc.edu>
Date: 1 Feb 91 20:59:54 GMT
Sender: usenet@darkstar.ucsc.edu
Organization: University of Colorado at Colorado Springs
Lines: 11
Approved: comp-os-research@jupiter.ucsc.edu

I'm looking for any pointers to formal models for equivalence of computations
on two different machines (or programs produced by two different compilers for
the same machine)

Any help would be appreciated.  The context for this request is heterogeneous
migration.

Thanks...

charlie shub  cdash@boulder.Colorado.EDU  -or-  ..!{ucar|nbires}!boulder!cdash
  or even     cdash@colospgs (BITNET)     -or-  (719) 593-3492