Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Distributed Monitoring of Concurrent and Asynchronous Systems Kapitel lesen Erstes Kapitel lesen

2003 | OriginalPaper | Buchkapitel

Compositionality for Probabilistic Automata

verfasst von : Nancy Lynch, Roberto Segala, Frits Vaandrager

Erschienen in: CONCUR 2003 - Concurrency Theory

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

We establish that on the domain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder.

Vorheriges Kapitel A Process-Algebraic Language for Probabilistic I/O Automata
Nächstes Kapitel Satisfiability and Model Checking for MSO-Definable Temporal Logics Are in PSPACE
Metadaten
Titel
Compositionality for Probabilistic Automata
verfasst von
Nancy Lynch
Roberto Segala
Frits Vaandrager
Copyright-Jahr
2003
Verlag
Springer Berlin Heidelberg
Buch
CONCUR 2003 - Concurrency Theory

Print ISBN: 978-3-540-40753-9

Electronic ISBN: 978-3-540-45187-7

Copyright-Jahr: 2003

DOI
https://doi.org/10.1007/978-3-540-45187-7_14

Premium Partner

    Bildnachweise