Local Checking of Trace Synchroniziability

Abstract Trace theory has been developed to describe the behaviour of concurrent systems. For a modular approach synchronization of traces is of special interest. We characterize those trace monoids for which synchronization can be described locally.

Authors

• Volker Diekert
• Walter Vogler

Keywords

No keywords are indexed for this paper.