Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

Subjects: “…Computer Science & IT…”
Get full text

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

Subjects: “…Computer Science & IT…”
Get full text

Fine-grained Meta-Theorems for Vertex Integrity

Subjects: “…Computer Science & IT…”
Get full text

A Truly Concurrent Semantics for Reversible CCS

Subjects: “…Computer Science & IT…”
Get full text

A Calculus for Scoped Effects & Handlers

Subjects: “…Computer Science & IT…”
Get full text

Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners

Subjects: “…Computer Science & IT…”
Get full text

Reasonable Space for the ${lambda}$-Calculus, Logarithmically

Subjects: “…Computer Science & IT…”
Get full text

On the Semantic Expressiveness of Iso- and Equi-Recursive Types

Subjects: “…Computer Science & IT…”
Get full text

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

Subjects: “…Computer Science & IT…”
Get full text

On the relative asymptotic expressivity of inference frameworks

Subjects: “…Computer Science & IT…”
Get full text

Termination of Graph Transformation Systems Using Weighted Subgraph Counting

Subjects: “…Computer Science & IT…”
Get full text

Stochastic Processes with Expected Stopping Time

Subjects: “…Computer Science & IT…”
Get full text

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages

Subjects: “…Computer Science & IT…”
Get full text

String diagrams for Strictification and Coherence

Subjects: “…Computer Science & IT…”
Get full text

Sum and Tensor of Quantitative Effects

Subjects: “…Computer Science & IT…”
Get full text

Categorical composable cryptography: extended version

Subjects: “…Computer Science & IT…”
Get full text

A cone-theoretic barycenter existence theorem

Subjects: “…Computer Science & IT…”
Get full text

Fair Asynchronous Session Subtyping

Subjects: “…Computer Science & IT…”
Get full text

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

Subjects: “…Computer Science & IT…”
Get full text

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

Subjects: “…Computer Science & IT…”
Get full text