Abstract | ||
---|---|---|
Trace theory has been developed to describe the behavior of concurrent systems. Synchronization of traces is of special interest for a modular approach. We characterize those trace monoids for which synchronization can be described locally. |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/BF02088296 | Mathematical Systems Theory |
Keywords | Field | DocType |
Computational Mathematic,Special Interest,Modular Approach,Concurrent System,Trace Theory | Graph theory,Discrete mathematics,NP-complete,Combinatorics,Synchronization,Algorithm complexity,Monoid,Modular design,Trace theory,Mathematics | Journal |
Volume | Issue | ISSN |
22 | 3 | 1433-0490 |
Citations | PageRank | References |
2 | 0.37 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Volker Diekert | 1 | 702 | 67.46 |
Walter Vogler | 2 | 2 | 0.37 |