A Few Notes on Formal Balls

Get full text

Games for Bisimulations and Abstraction

Get full text

A Framework for Certified Self-Stabilization

Get full text

Branching Bisimilarity of Normed BPA Processes as a Rational Monoid

Get full text

Faithful (meta-)encodings of programmable strategies into term rewriting systems

Get full text

Statman's Hierarchy Theorem

Get full text

The Universal Process

Get full text

Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs

Get full text

Multiactive objects and their applications

Get full text

An intensionally fully-abstract sheaf model for $pi$ (expanded version)

Get full text

Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories

Get full text

The Data Complexity of Description Logic Ontologies

Get full text

Bounded degree and planar spectra

Get full text

Bottom-up automata on data trees and vertical XPath

Get full text

Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting

Get full text

Boundedness in languages of infinite words

Get full text

Modular, Fully-abstract Compilation by Approximate Back-translation

Get full text

Normalisation by Evaluation for Type Theory, in Type Theory

Get full text

Games and Strategies as Event Structures

Get full text

Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi

Get full text