Similar Items: A robust graph-based approach to observational equivalence
- Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
- Behavioural equivalences for timed systems
- On the Strong Equivalences for LPMLN Programs
- LSTM-Based Estimation of Harmonic Source Equivalent Parameters in Power Systems
- A Reduced Semantics for Deciding Trace Equivalence
- Qualitative Logics and Equivalences for Probabilistic Systems