Event structures and trace monoids

DOI10.1016/0304-3975(91)90087-IzbMath0756.68036OpenAlexW2058222903MaRDI QIDQ1183599

P. S. Thiagarajan, Brigitte Rozoy

Publication date: 28 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90087-i

zbMATH Keywords

concurrencyevent structurestrace monoids

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

Medians in median graphs and their cube complexes in linear time, A counterexample to Thiagarajan's conjecture on regular event structures, Towards automata for branching time and partial order, Some behavioural aspects of net theory, On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes, Uniform and Bernoulli measures on the boundary of trace monoids, The poset of infinitary traces, A Nice labelling for tree-like event structures of degree 3, Stable trace automata vs. full trace automata, Finite labelling problem in event structures

Cites Work

• A remark on the representation of trace monoids
• Some properties of commutation in free partially commutative monoids
• Traces, dependency graphs and DNLC grammars
• Theory of traces
• Petri nets, event structures and domains. I
• Recognizable subsets of some partially Abelian monoids
• Combinatorial problems of commutation and rearrangements
• Concurrent Machines
• Notes on finite asynchronous automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item