Search Results

1. 1
   online resource

   Comparing Process Calculi Using Encodings (2019)

   Peters, Kirstin
   Published in Electronic Proceedings in Theoretical Computer Science (2019)

   E-Article Loading ... Online

   Get additional information online
   

   
   
   

   Saved in:

2. 2
   online resource

   Verification and Enforcement of Safe Schedules for Concurrent Programs (2020)

   by Metzler, Patrick; Peters, Kirstin; Weissenbacher, Georg , 2020

   E-Book Thesis Loading ... Online

   • Full Text
   • Full Text

   
   
   

   Saved in:

3. 3
   online resource

   Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics: Berlin, Germany, 4th September 2017 (2017)

   by Peters, Kirstin; Tini, Simone , 2017

   In collection: Electronic proceedings in theoretical computer science

   E-Book Conference Proceedings Loading ... Online

   • Full Text

   
   
   

   Saved in:

4. 4
   online resource

   On the Distributability of Mobile Ambients (2018)

   Peters, Kirstin, Nestmann, Uwe
   Published in Electronic Proceedings in Theoretical Computer Science (2018)

   E-Article Loading ... Online

   Get additional information online
   

   
   
   

   Saved in:

5. 5
   online resource

   Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics : Preface: Preface (2017)

   Peters, Kirstin, Tini, Simone
   Published in Electronic Proceedings in Theoretical Computer Science (2017)

   E-Article Loading ... Online

   Get additional information online
   

   
   
   

   Saved in:

6. 6
   online resource

   Breaking symmetries (2016)

   PETERS, KIRSTIN, NESTMANN, UWE
   Published in Mathematical Structures in Computer Science (2016)

   E-Article Loading ... Online

   Get additional information online
   

   
   
   

   Saved in:

7. 7
   online resource

   Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics : Preface: Preface (2016)

   Gebler, Daniel, Peters, Kirstin
   Published in Electronic Proceedings in Theoretical Computer Science (2016)

   E-Article Loading ... Online

   Get additional information online
   

   
   
   

   Saved in:

8. 8
   online resource

   Breaking Symmetries (2010)

   Peters, Kirstin, Nestmann, Uwe
   Published in Electronic Proceedings in Theoretical Computer Science (2010)

   E-Article Loading ... Online

   Get additional information online
   

   
   
   

   Saved in:

9. 9
   online resource

   Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conferen... (2021)

   by Peters, Kirstin; Willemse, Tim A. C. , 2021

   E-Book Loading ... Online

   • Full Text

   
   
   

   Saved in:

10. 10
    online resource

    Analysing and Comparing Encodability Criteria (2015)

    Peters, Kirstin, van Glabbeek, Rob
    Published in Electronic Proceedings in Theoretical Computer Science (2015)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

11. 11
    online resource

    Medical Image of the Month: Stercoral Colitis (2021)

    Peters, Kirstin, Gibbs, Angela, Campion, Janet
    Published in Southwest Journal of Pulmonary and Critical Care (2021)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

12. 12
    online resource

    Matching in the Pi-Calculus (2014)

    Peters, Kirstin, Yonova-Karbe, Tsvetelina, Nestmann, Uwe
    Published in Electronic Proceedings in Theoretical Computer Science (2014)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

13. 13
    online resource

    Adding Priority to Event Structures (2013)

    Arbach, Youssef, Peters, Kirstin, Nestmann, Uwe
    Published in Electronic Proceedings in Theoretical Computer Science (2013)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

14. 14
    online resource

    Synchrony vs Causality in the Asynchronous Pi-Calculus (2011)

    Peters, Kirstin, Schicke, Jens-Wolfhard, Nestmann, Uwe
    Published in Electronic Proceedings in Theoretical Computer Science (2011)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

15. 15
    online resource

    Synchrony vs. Causality in Asynchronous Petri Nets (2011)

    Schicke, Jens-Wolfhard, Peters, Kirstin, Goltz, Ursula
    Published in Electronic Proceedings in Theoretical Computer Science (2011)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

16. 16
    online resource

    Synchrony versus causality in distributed systems (2016)

    PETERS, KIRSTIN, SCHICKE-UFFMANN, JENS-WOLFHARD, GOLTZ, URSULA, NESTMANN, UWE
    Published in Mathematical Structures in Computer Science (2016)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

17. 17
    online resource

    Dynamic Causality (in Event Structures) : Invited Presentation at the 9th Interaction and Concurrency Experience: Invited Presentation at the 9th Interaction and Concurrency Experi... (2016)

    Arbach, Youssef, S. Karcher, David, Peters, Kirstin, Nestmann, Uwe
    Published in Electronic Proceedings in Theoretical Computer Science (2016)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

18. 18
    online resource

    Encoding CSP into CCS (2015)

    Hatzel, Meike, Wagner, Christoph, Peters, Kirstin, Nestmann, Uwe
    Published in Electronic Proceedings in Theoretical Computer Science (2015)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in:

19. 19
    online resource

    Nucleated red blood cells as a novel indicator of CD34 + cell content in umbilical cord blood (2019)

    Galel, David, Crisostomo, Clarence, Ortega, Jennifer, Peters, Kirstin, ...
    Published in Transfusion (2019)

    E-Article Loading ... Online

    Get additional information online
    

    
    
    

    Saved in: