guest ::
A Spectrum of Approximate Probabilistic Bisimulations
; ; ; ;
In
35th International Conference on Concurrency Theory : CONCUR 2024, September 9-13, 2024, Calgary, Canada / edited by Rupak Majumdar, Alexandra Silva, Seiten/Artikel-Nr: 37:1-37:19
2024
Online
DOI: 10.4230/LIPICS.CONCUR.2024.37
DOI: 10.18154/RWTH-2025-02073
URL: https://publications.rwth-aachen.de/record/1005879/files/1005879.pdf
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Profilbereich Information & Communication Technology (ICT) (080017)
- Fachgruppe Informatik (120000)
Inhaltliche Beschreibung (Schlagwörter)
Abstraction (Genormte SW) ; Approximate bisimulation (Genormte SW) ; Markov chains (Genormte SW) ; Model checking (Genormte SW) ; Theory of computation → Logic and verification (Genormte SW) ; Theory of computation → Random walks and Markov chains (Genormte SW)
OpenAccess: 
PDF
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85203497328
Interne Identnummern
RWTH-2025-02073
Datensatz-ID: 1005879
Beteiligte Länder
Germany
; 
PDF