Structured Operational Semantics for Graph Rewriting

Structures de réalisabilité, RAM et ultrafiltre sur N

Stuttering Equivalence for Parity Games

Sums in linear algebraic lambda-calculus

Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Superdevelopments for Weak Reduction

Superposition as a logical glue

Supervisory Control of Fuzzy Discrete Event Systems: A Formal Approach

Swapping: a natural bridge between named and indexed explicit substitution calculi

Symbolic and Asynchronous Semantics via Normalized Coalgebras

Symbolic bisimulation for quantum processes

Symbolic model checking of tense logics on rational Kripke models

Symbolic Reachability Analysis of Higher-Order Context-Free Processes

Symbolic Simulation-Checking of Dense-Time Systems

Symmetric and Asymmetric Asynchronous Interaction

Symmetries and transitions of bounded Turing machines

Symmetry and interactivity in Programming

Symmetry Breaking for Answer Set Programming

Symmetry Breaking for Distributed Multi-Context Systems

Symmetry-breaking Answer Set Solving