On the synchronization of traces

DOI10.1007/BF02088296MaRDI QIDQ4733415zbMATH OpenFDO

Authors Volker Diekert, Walter Vogler

Publication date 1989

Published in Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02088296

zbMATH Keywords

concurrent systemsPetri netssynchronizationtrace languagesTrace theory

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the synchronization of semi-traces
• scientific article; zbMATH DE number 4064449
• An observer view on synchronization
• scientific article; zbMATH DE number 4130026
• Succinct representation of concurrent trace sets
• On the synchronizable system
• On the probability of being synchronizable
• Trace-oriented models of concurrency

Cites work

• Combinatorial problems of commutation and rearrangements
• scientific article; zbMATH DE number 3970130 (Why is no real title available?)
• scientific article; zbMATH DE number 4064449 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• Partial commutations and faithful rational transductions
• Recognizable subsets of some partially Abelian monoids
• Theory of traces

Cited in

(11)

• Theory of traces
• Synchronization of Bernoulli sequences on shared letters
• Limits of modularity
• scientific article; zbMATH DE number 3921989 (Why is no real title available?)
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 4056993 (Why is no real title available?)
• scientific article; zbMATH DE number 4064449 (Why is no real title available?)
• On Scenario Synchronization
• Synchronizing Moore and Spiegel
• On the synchronization of semi-traces
• Comments on trace anomaly matching

This page was built for publication: On the synchronization of traces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733415)