DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Trace theory
Trace theory
Event Structures and Trace Monoids
On the Theory of One-Step Rewriting in Trace Monoids
The Star Problem and the Finite Power Property in Trace Monoids: Reductions Beyond C4
Representation of Computations in Concurrent Automata by Dependence Orders ’
Trace Theory
Complexity Results for Confluence Problems
Introduction to Trace Theory 1 Introduction
Modelling Concurrency with Comtraces and Generalized Comtraces
Contributions to a Trace Theory Beyond Mazurkiewicz Traces
Local Testability from Words to Traces, a Suitable Definition
Confluence Problems for Trace Rewriting Systems
Combinatorial Slice Theory
Top View