search result

Cover von 28th EACSL Annual Conference on Computer Science Logic
CSL 2020, January 13 - 16, 2020, Barcelona, Spain
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 152
Media group: LIPIcs
Cover von Equivalence of Finite-Valued Streaming String Transducers Is Decidable

Equivalence of Finite-Valued Streaming String Transducers Is Decidable

Year: 2019
Media group: LIPIcs
Cover von The Many Facets of String Transducers

The Many Facets of String Transducers

Year: 2019
Media group: LIPIcs
Cover von Distributed Synthesis for Acyclic Architectures

Distributed Synthesis for Acyclic Architectures

Year: 2014
Media group: LIPIcs
Cover von An Automata-Based Approach for Synchronizable Mailbox Communication

An Automata-Based Approach for Synchronizable Mailbox Communication

Year: 2024
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 243, CONCUR 2022, Complete Volume

LIPIcs, Volume 243, CONCUR 2022, Complete Volume

Year: 2022
Media group: LIPIcs
Cover von 33rd International Conference on Concurrency Theory
CONCUR 2022 : September 12 - 16, 2022, Warsaw, Poland
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 243
Media group: LIPIcs
Cover von Distributed Controller Synthesis for Deadlock Avoidance

Distributed Controller Synthesis for Deadlock Avoidance

Year: 2022
Media group: LIPIcs
Cover von On Canonical Models for Rational Functions over Infinite Words

On Canonical Models for Rational Functions over Infinite Words

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0