Similar Items: On the characterization of models of H*: The semantical aspect
- Aspects of algebraic Algebras
- Aspect-oriented linearizability proofs
- Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties
- Deep Fusion of Heterogeneous Features and Semantic Mixer for Graph Neural Network Model
- Explicit fairness in testing semantics
- Sampled Semantics of Timed Automata