Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!genrad!panda!talcott!harvard!seismo!mcvax!philmds!achel!han
From: han@achel.UUCP (han)
Newsgroups: net.math
Subject: Re: What is Trace theory
Message-ID: <2@achel.UUCP>
Date: Tue, 28-Jan-86 10:47:45 EST
Article-I.D.: achel.2
Posted: Tue Jan 28 10:47:45 1986
Date-Received: Thu, 30-Jan-86 06:21:45 EST
Organization: Philips I&E DTS Eindhoven
Lines: 23

>While reading an article on self-timed logic design, I came across a reference 
>to Trace theory which was described as a branch of Graph theory.  It seems
>that some researchers are trying to use Trace theory to provide theoretical
>muscle to self-timed logic design.  Could someone give me a brief description
>of Trace theory? Or better still, provide me with some references.  Thanks.

Trace theory is a theoretic model that enables you to talk about all possible 
interleavings of processes in an easy way. It is applied in VLSI design, and
a special field of interest of the researchers is self-timed logic. The 
research on this subject is started about 1980, and at this moment there are 
a lot of nice results.
The research project is done by:
	"Technical University of Eindhoven"
	"Department of mathematics and computer science"
	"Den Dolech 2, Eindhoven"
	"The Netherlands"
For more information on this subject, contact the project leader:
	Prof. Martin Rem
	technical university eindhoven
	tel: ... 40 479111 (ask for Martin Rem)

				Han Schaminee
				Philips Eindhoven