search result

Cover von Denotational Semantics for Probabilistic and Concurrent Programs

Denotational Semantics for Probabilistic and Concurrent Programs

Year: 2025
Media group: LIPIcs
Cover von An Algebraic Framework to Reason About Concurrency (Invited Talk)

An Algebraic Framework to Reason About Concurrency (Invited Talk)

Year: 2019
Media group: LIPIcs
Cover von Guarded Kleene Algebra with Tests

Guarded Kleene Algebra with Tests

Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
Year: 2019
Media group: LIPIcs
Cover von Brzozowski Goes Concurrent

Brzozowski Goes Concurrent

A Kleene Theorem for Pomset Languages (Invited Talk)
Year: 2017
Media group: LIPIcs
Cover von Coalgebraic Learning (Invited Talk)

Coalgebraic Learning (Invited Talk)

Year: 2016
Media group: LIPIcs
Cover von Applications of Automata and Concurrency Theory in Networks (Invited Paper)

Applications of Automata and Concurrency Theory in Networks (Invited Paper)

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 372, ECOOP 2026, Complete Volume

LIPIcs, Volume 372, ECOOP 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 40th European Conference on Object-Oriented Programming
ECOOP 2026, Brussels, Belgium, June 29 to July 3, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 372
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0