|
|||||
|
|
On the synchronization of traces |
|
| Authors: | Volker Diekert Walter Vogler |
| Affiliation: | (1) Institut für Informatik, Technische Universität München, Arcisstrasse 21, D-8000 München 2, Federal Republic of Germany |
| 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |