Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer

Applying Algebraic Specifications on Digital Right Management Systems

Approximate Computation of Reach Sets in Hybrid Systems

Approximate reasoning for real-time probabilistic processes

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior

Approximating a Behavioural Pseudometric without Discount for<br> Probabilistic Systems

Are there Hilbert-style Pure Type Systems?

Argument filterings and usable rules in higher-order rewrite systems

Arithmetic, First-Order Logic, and Counting Quantifiers

ASMs and Operational Algorithmic Completeness of Lambda Calculus

Aspects of multiscale modelling in a process algebra for biological systems

Aspects Regarding Operations with Fuzzy Processes

Assume-Guarantee Synthesis for Digital Contract Signing

Asynchronous games: innocence without alternation

Automata and temporal logic over arbitrary linear time

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

Automata-Based CSL Model Checking

Automated Analysis of MUTEX Algorithms with FASE

Automated Complexity Analysis Based on the Dependency Pair Method

Automated Generation of User Guidance by Combining Computation and Deduction