search result

Cover von A State-Based O(m log n) Partitioning Algorithm for Branching Bisimilarity

A State-Based O(m log n) Partitioning Algorithm for Branching Bisimilarity

Year: 2025
Media group: LIPIcs
Cover von Formal Modeling and Analysis of Timed Systems
16th International Conference, FORMATS 2018, Beijing, China, September 4 - 6, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11022
Media group: MONOGRAPHIE
Cover von Quantitative Evaluation of Systems
17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12289
Media group: MONOGRAPHIE
Cover von A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0