Similar Items: Behavioural equivalences for timed systems
- Qualitative Logics and Equivalences for Probabilistic Systems
- Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
- On the Strong Equivalences for LPMLN Programs
- Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs
- LSTM-Based Estimation of Harmonic Source Equivalent Parameters in Power Systems
- Proof equivalence in MLL is PSPACE-complete