Checking timed bisimilarity with virtual clocks

DOI10.46298/FI.15143MaRDI QIDQ7395678zbMATH OpenFDO

Authors Alexander Lieb, Malte Lochau, Andy Schürr, Hendrik Göttmann, Lars Luthmann

Publication date 2026

Published in Fundamenta Informaticae (Search for Journal in Brave)

Copyright license arXiv.org Non-exclusive license to distribute

Full work available at URL https://doi.org/10.46298/FI.15143

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A calculus of communicating systems
• A lattice-theoretical fixpoint theorem and its applications
• A theory of timed automata
• Automata for modeling real-time systems
• Automated Technology for Verification and Analysis
• Efficient scaling-invariant checking of timed bisimulation
• scientific article; zbMATH DE number 3126094 (Why is no real title available?)
• scientific article; zbMATH DE number 1337733 (Why is no real title available?)
• scientific article; zbMATH DE number 1069484 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Symbolic model checking for real-time systems
• The algebra of timed processes, ATP: Theory and application
• Uppaal in a nutshell

This page was built for publication: Checking timed bisimilarity with virtual clocks

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