Trace theory

In mathematics and computer science, trace theory aims to provide a concrete mathematical underpinning for the study of concurrent computation and… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
In this paper, we develop a novel formalization of Fuzzy Trace Theory (FTT), a leading theory of qualitative risky decision… (More)
  • figure 1
Is this relevant?
2006
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The eligibility trace is one of the basic mechanisms used in reinforcement learning to handle delayed reward. In this paper we… (More)
  • figure 2
  • figure 3
  • figure 4
  • table 1
  • figure 5
Is this relevant?
2002
2002
  • Lars Hesselholt
  • 2002
The algebraic K-theory of Quillen [30], inherently, is a multiplicative theory. Trace invariants allow the study of this theory… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
When children and adults retrieve words during unconstrained recall, it is commonly supposed that words will present themselves… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Message sequence charts (MSC) are a graphical speciica-tion language widely used for designing communication protocols. Our… (More)
Is this relevant?
1991
1991
Trace theory concepts are added to LOTOS and appropriate composition functions on traces are deened. The result is a trace theory… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
One day, you will discover a new adventure and knowledge by spending more money. But when? Do you think that you need to obtain… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
 
Is this relevant?
Review
1983
Review
1983
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important… (More)
Is this relevant?