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
Synchronizing Objectives for Markov Decision Processes
Synchronous Games, Simulations and lambda-calculus
Synchrony vs Causality in the Asynchronous Pi-Calculus
Syntactic Abstraction of B Models to Generate Tests
Syntax diagrams as a formalism for representation of syntactic relations of formal languages
Synthesis from Recursive-Components Libraries
Synthesis of AMBA AHB from Formal Specification
Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications
Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)