Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,676 papers from all fields of science
Search
Sign In
Create Free Account
Trace monoid
Known as:
Partially commutative free monoid
, Trace
, Trace language
Expand
In computer science, a trace is a set of strings, wherein certain letters in the string are allowed to commute, but others are not. It generalizes…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Communicating sequential processes
Compact semigroup
Dependency relation
Free monoid
Expand
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
Krzysztof Lecki
,
Jerzy Tyszkiewicz
,
J. Sroka
ATAED@Petri Nets/ACSD
2017
Corpus ID: 34403323
The paper presents a method to distribute the generation of all possible bounded length sequences of events for a given Petri net…
Expand
2016
2016
BEHAVIOURAL CHANGE INTERVENTION
Ojeniyi Adegoke
,
A. A. Aziz
,
Yuhanis Yusof
2016
Corpus ID: 52263971
Belief-Desire-Intention (BDI) model is well suited for describing agent’s mental state. The BDI of an agent represents its…
Expand
2010
2010
Determination of Trace Iron in Water by GFAAS
Dong-Jing Wang
2010
Corpus ID: 101400338
An analytical method of the determination of trace iron in water by using graphite furnace atomic absorption spectrometry(GFAAS…
Expand
2005
2005
Catalytic Spectrophotometric Determination of Trace Iron
Duo Wang
2005
Corpus ID: 101532836
The catalytic effect of Fe(Ⅲ) to the fading reacting based on the oxidation of inferior methyl blue with H 2O 2 in a weak acidic…
Expand
2005
2005
A Temporal Trace Language for the Formal Analysis of Dynamic Properties
T. Bosse
,
C. Jonker
,
L. V. D. Meij
,
Jan Treur
2005
Corpus ID: 60317184
Within many domains, among which biological and cognitive areas, multiple interacting processes occur with dynamics that are hard…
Expand
2001
2001
Determination of Trace Iron in Electrolytic Manganeseby FAAS with EDTA as Releasing Agent
Xiao Zuo
2001
Corpus ID: 98866616
The main purpose of the present work is to eliminate the interference of matrix manganese from determination of trace iron in…
Expand
2001
2001
On the second trace form of central simple algebras in characteristic two
G. Berhuy
,
C. Frings
2001
Corpus ID: 13374945
Abstract: Let K be a field and let A be a central simple algebra over K. Let ?A and ?2,A be respectively the trace form and the…
Expand
2001
2001
Temporal and Interactionist Perspectives on the Dynamics of Mental States
C. Jonker
,
Jan Treur
2001
Corpus ID: 17127435
This paper contributes trace semantics and a temporal trace language to provide a grounding and formalisation of the dynamics of…
Expand
1999
1999
MULTILEVEL BOUNDARY FUNCTIONALS FOR LEAST-SQUARESMIXED FINITE ELEMENT
G. Starke
1999
Corpus ID: 7524188
For least-squares mixed nite element methods for the rst-order system formulation of second-order elliptic problems, a technique…
Expand
Review
1999
Review
1999
The role of prosodic boundary cues in auditory speech processing
S. Peperkamp
,
A. Christophe
1999
Corpus ID: 17306700
It has long been known that although words are not separated from each other by pauses in continuous speech, they are demarcated…
Expand