Spatial logics with connectedness predicates

Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family

Specifying Data Objects with Initial Algebras

SPINning Parallel Systems Software

Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy's Merge

Square root meadows

Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach

Stable models and an alternative logic programming paradigm

Standard Logics Are Valuation-Nonmonotonic

State Space Computation and Analysis of Time Petri Nets

Stateless HOL

States and exceptions considered as dual effects

Static Analysis Techniques for Equational Logic Programming

Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems

Statistical Model Checking : An Overview

Straight-line instruction sequence completeness for total calculation on cancellation meadows

Strategies as sheaves and interactive equivalences for CCS

Strategies of Loop Recombination in Ciliates

Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic

Stream Productivity by Outermost Termination