search result

Cover von Geometry and concurrency; 4
special issue : S. 409-573
Search for this author
Year: 2000
Publisher: Cambridge, Cambridge University Press
Count: 4
Media group: SPECIAL ISSUE
Cover von Components of the fundamental category
article : Dagstuhl seminar 02221
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Series: Applied categorical structures : 12. 2004, S. 81-108
Media group: ARTICLE
Cover von Directed Algebraic Topology and Concurrency
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von The Tropical Double Description Method

The Tropical Double Description Method

Year: 2010
Media group: ARTICLE
Cover von A Many-Sorted Epistemic Logic for Chromatic Hypergraphs

A Many-Sorted Epistemic Logic for Chromatic Hypergraphs

Year: 2024
Media group: LIPIcs
Cover von A Simplicial Model for KB4_n

A Simplicial Model for KB4_n

Epistemic Logic with Agents That May Die
Year: 2022
Media group: LIPIcs
Cover von Wait-Free Solvability of Equality Negation Tasks

Wait-Free Solvability of Equality Negation Tasks

Year: 2019
Media group: LIPIcs
Cover von Concurrent Specifications Beyond Linearizability

Concurrent Specifications Beyond Linearizability

Year: 2018
Media group: LIPIcs
Cover von Brief Announcement

Brief Announcement

On the Impossibility of Detecting Concurrency
Year: 2018
Media group: LIPIcs
Cover von The Directed Homotopy Hypothesis

The Directed Homotopy Hypothesis

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0