search result

Cover von Reactive Bisimulation Semantics for a Process Algebra with Time-Outs

Reactive Bisimulation Semantics for a Process Algebra with Time-Outs

Year: 2020
Media group: LIPIcs
Cover von Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk)

Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk)

Year: 2018
Media group: LIPIcs
Cover von Concurrency and dynamic behaviour modelling
pragmatics and semantics : 10.03. - 15.03.02, Seminar Nr. 02111
Search for this author
Year: 2002
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 337
Media group: DAGSTUHL-SEMINAR-REP
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 30th International Conference on Concurrency Theory
CONCUR 2019 : August 27 - 30, 2019, Amsterdam, the Netherlands
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 140
Media group: LIPIcs
Cover von Precongruence Formats with Lookahead through Modal Decomposition

Precongruence Formats with Lookahead through Modal Decomposition

Year: 2017
Media group: LIPIcs
Cover von Branching Bisimilarity for Processes with Time-Outs

Branching Bisimilarity for Processes with Time-Outs

Year: 2024
Media group: LIPIcs
Cover von Enabling Preserving Bisimulation Equivalence

Enabling Preserving Bisimulation Equivalence

Year: 2021
Media group: LIPIcs
Cover von Divide and Congruence III

Divide and Congruence III

Stability & Divergence
Year: 2017
Media group: LIPIcs
Cover von CONCUR Test-Of-Time Award 2021 (Invited Paper)

CONCUR Test-Of-Time Award 2021 (Invited Paper)

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0