2012 | OriginalPaper | Buchkapitel
On Distributed Monitoring of Asynchronous Systems
verfasst von : Volker Diekert, Anca Muscholl
Erschienen in: Logic, Language, Information and Computation
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Distributed systems are notoriously difficult to understand and analyze in order to assert their correction w.r.t. given properties. They often exhibit a huge number of different behaviors, as soon as the active entities (peers, agents, processes, . . . ) behave in an asynchronous manner. Already the modelization of such systems is a non-trivial task, let alone their formal verification.