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.
2017
2017
Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems
The paper presents a method to distribute the generation of all possible bounded length sequences of events for a given Petri net… 
2017
2017
Uncertainty and Sensitivity Investigations with TRACE-SUSA and TRACE-DAKOTA by Means of Post-test Calculations of NUPEC BFBT Experiments
2015
2015
The hippocampal dependence of long-term declarative memory
Investigations into the neural correlates of memory have found the hippocampus to be a crucial structure for long-term… 
2011
2011
THE EAGLE TRACE
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… 
2007
2007
On some trace inequalities
Aim It is proved that if S(subscript i)(i=1,…,n) be density matrices. π= {π(subscript i)}(superscript n subscript i)=1 be a… 
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… 
1989
1989
Papers in Kosraean and Ponapeic
1980
1980
Chelated trace elements.