Showing 1 - 8 results of 8 for search 'Uwe Nestmann', query time: 0.04s Refine Results
  1. 1
    States in Process Calculi

    States in Process Calculi by Christoph Wagner, Uwe Nestmann

    Published 2014-08-01
    Get full text
    Article
  2. 2
    Breaking Symmetries

    Breaking Symmetries by Kirstin Peters, Uwe Nestmann

    Published 2010-11-01
    Get full text
    Article
  3. 3
    On the Distributability of Mobile Ambients

    On the Distributability of Mobile Ambients by Kirstin Peters, Uwe Nestmann

    Published 2018-08-01
    Get full text
    Article
  4. 4
    Adding Priority to Event Structures

    Adding Priority to Event Structures by Youssef Arbach, Kirstin Peters, Uwe Nestmann

    Published 2013-07-01
    Get full text
    Article
  5. 5
    FTMPST: Fault-Tolerant Multiparty Session Types

    FTMPST: Fault-Tolerant Multiparty Session Types by Kirstin Peters, Uwe Nestmann, Christoph Wagner

    Published 2023-11-01
    Get full text
    Article
  6. 6
    Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

    Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy by Benjamin Bisping, David N. Jansen, Uwe Nestmann

    Published 2022-08-01
    Get full text
    Article
  7. 7
    Synchrony vs Causality in the Asynchronous Pi-Calculus

    Synchrony vs Causality in the Asynchronous Pi-Calculus by Jens-Wolfhard Schicke, Kirstin Peters, Uwe Nestmann

    Published 2011-08-01
    Get full text
    Article
  8. 8
    Dynamic Causality in Event Structures

    Dynamic Causality in Event Structures by Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann

    Published 2018-02-01
    Get full text
    Article

Search Tools: