Skip to search formSkip to main contentSkip to account menu

Trace theory

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

Related topics

Related topics

12 relations
Communicating sequential processesComputer scienceDependency relationFormal language

Broader (1)

Concurrent computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Anisotropic, Mixed-Norm Lizorkin-Triebel Spaces and Diffeomorphic Maps
This paper gives general results on invariance of anisotropic Lizorkin-Triebel spaces with mixed norms under coordinate… 
2010
2010
Punctual Coalescing
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such… 
2008
2008
ON SOME MATRIX INEQUALITIES
In this paper we present some trace inequalities for positive definite matrices in statistical mechanics. In order to prove the… 
2008
2008
Trace Theory, Coordination Games, and Group Scribbles
Distributed, highly coordinated activities for learning are becoming more and more important as we move further into the world of… 
2006
2006
Solid Substrate-Room Temperature Phosphorescence Method for the Determination of Trace Mn(II) Based on Oxidizing Reaction of Hydrogen Peroxide Using α,α′-Bipyridine as Sensitizer
A new solid substrate-room temperature phosphorescence (SS-RTP) method for the determination of trace manganese (II) has been… 
1997
1997
Representation of Computations in Concurrent Automata by Dependence Orders
1991
1991
An expressive trace theory for LOTOS
Trace theory concepts are added to LOTOS and appropriate composition functions on traces are deened. The result is a trace theory… 
Highly Cited
1989
Highly Cited
1989
Connections between a Concrete and an Abstract Model of Concurrent Systems
We define a concrete operational model of concurrent systems, called trace automata. For such automata, there is a natural notion… 
1986
1986
On the existence of delay-insensitive fair arbiters: Trace theory and its limitations
This paper considers the existence and formal specification of delay-insensitive fair arbiters. We show that the exact notion of… 
1983
1983
Trace theory and the definition of hierarchical components
The relevance of trace theory to the design of VLSI circuits is discussed. We present an introduction to trace theory and to… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)