Diffusion-approximation Ssreflect Algebra Lie Optimal pattern Regular languages Perfect kernel Game Semantics Heterogeneous platforms Partial Least Squares Electron Tomography Concurrent games Linear logic Coloring Fail-stop errors 37B05 Cographs Commuting variety Circle-valued maps Sobolev spaces Bingham Sparsity Cut elimination Concurrency Covariance Regression 20E08 Verification Spatial Reuse Oscillations Curvature Besov spaces Coinduction Petri nets Kinetic equation Abbreviated action integral Complexity Space of subgroups Scheduling Activation delays Graph theory Denotational semantics Process calculi Cycle stealing Decidability Implicit computational complexity Power Control Silent errors Category theory Reliability Network science Elliptical distribution Algebra Ordonnancement Kriging Cost Coalgebra 57M60 Secondary 37E05 Bass-Serre theory Automata Sequent calculus Event structures Cyclic proofs Coq Machine Learning General arrivals 35B25 Completeness Hydrodynamic limit Energy-aware systems Resilience Distributive laws Motives Stability Multiple sparse right-hand sides Covert communication Bisimilarity Dual norm Unique solution of equations Bisimulation Symplectic reduction Real-time systems Sparse matrices Clear Channel Assessment Algorithm Graphs Kleene algebra Axiomatisation Mean field games Automatic proof search Age-structured PDE Asymptotic analysis Full abstraction Treewidth Lambda-calculus Termination Direct method Proof theory Baumslag-Solitar groups Game semantics Categorical semantics