A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

Get full text

On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants

Get full text

Architectures in parametric component-based systems: Qualitative and quantitative modelling

Get full text

On Higher-Order Probabilistic Subrecursion

Get full text

A coalgebraic take on regular and $omega$-regular behaviours

Get full text

Parametricity for Nested Types and GADTs

Get full text

Stashing And Parallelization Pentagons

Get full text

An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

Get full text

Adaptive Non-linear Pattern Matching Automata

Get full text

Expressive Logics for Coinductive Predicates

Get full text

Efficient Full Higher-Order Unification

Get full text

A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm

Get full text

A new operational representation of dependencies in Event Structures

Get full text

A Probabilistic Higher-order Fixpoint Logic

Get full text

On Supergraphs Satisfying CMSO Properties

Get full text

Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers

Get full text

Controlling a random population

Get full text

Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

Get full text

A theory of transaction parallelism in blockchains

Get full text

Dynamic Complexity of Parity Exists Queries

Get full text