Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Trace monoid

Known as: Partially commutative free monoid, Trace, Trace language 
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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
A typical MapReduce cluster is shared among different users and multiple applications. A challenging problem in such shared… Expand
  • figure 1
  • figure 3
  • table I
  • figure 4
  • figure 5
Highly Cited
2009
Highly Cited
2009
Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur among agents with… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2008
Highly Cited
2008
Process mining has proven to be a valuable tool for analyzing operational process executions based on event logs. Existing… Expand
  • table 1
  • table 2
  • figure 3
  • figure 4
  • figure 5
2006
2006
We give necessary and sufficient conditions in order that inequalities of the type \[ \| T_K f\|_{L^q(d\mu)}\leq C \|f\|_{L^p(d… Expand
2005
2005
This paper presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes… Expand
  • table 4
  • table 5
  • table 6
  • table 4
  • figure 7
2003
2003
The height of a trace is the height of the corresponding heap of pieces in Viennot's representation, or equivalently the number… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
1997
Highly Cited
1997
Placestransition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a… Expand
1993
1993
  • G. Schied
  • Dagstuhl Seminar on Graph Transformations in…
  • 1993
  • Corpus ID: 18135176
In this paper, we investigate how rewriting systems and especially graph grammars as operational models of parallel and… Expand
Highly Cited
1992
Highly Cited
1992
It is established here that it is decidable whether a rational set of a free partially commutative monoid (i.e. trace monoid) is… Expand
  • figure 1
  • figure 2
1991
1991
Event structures are a poset-based model for describing the behaviour of distributed systems. They give rise to a well-understood… Expand
  • figure 3
  • figure 5
  • figure 6
  • figure 8
  • figure 10