On distributability in process calculi K Peters, U Nestmann, U Goltz Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 43 | 2013 |
Analysing and comparing encodability criteria K Peters, R van Glabbeek arXiv preprint arXiv:1508.06711, 2015 | 35 | 2015 |
Is it a “good” encoding of mixed choice? K Peters, U Nestmann Foundations of Software Science and Computational Structures: 15th …, 2012 | 35 | 2012 |
Translational Expressiveness K Peters Ph. D. thesis, TU Berlin. Available at http://opus. kobv. de/tuberlin …, 2012 | 31* | 2012 |
Dynamic Causality in Event Structures U Nestmann, K Peters, DS Karcher, Y Arbach Logical Methods in Computer Science 14, 2018 | 29* | 2018 |
Comparing Process Calculi Using Encodings K Peters arXiv preprint arXiv:1908.08633, 2019 | 24 | 2019 |
Synchrony vs causality in the asynchronous pi-calculus K Peters, JW Schicke, U Nestmann arXiv preprint arXiv:1108.4469, 2011 | 24 | 2011 |
Session types for link failures M Adameit, K Peters, U Nestmann Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 22 | 2017 |
Breaking symmetries † K Peters, U Nestmann Mathematical Structures in Computer Science 26 (6), 1054-1106, 2016 | 20 | 2016 |
Encoding CSP into CCS M Hatzel, C Wagner, K Peters, U Nestmann arXiv preprint arXiv:1508.06712, 2015 | 16 | 2015 |
Coupled similarity: the first 32 years B Bisping, U Nestmann, K Peters Acta Informatica 57 (3), 439-463, 2020 | 14 | 2020 |
Fault-tolerant multiparty session types K Peters, U Nestmann, C Wagner Formal Techniques for Distributed Objects, Components, and Systems: 42nd …, 2022 | 9 | 2022 |
Synchrony vs. Causality in Asynchronous Petri Nets JW Schicke, K Peters, U Goltz | 9 | 2011 |
On the Expressiveness of Mixed Choice Sessions K Peters, N Yoshida arXiv preprint arXiv:2209.06819, 2022 | 8 | 2022 |
Distributability of mobile ambients K Peters, U Nestmann Information and Computation 275, 104608, 2020 | 6 | 2020 |
Synchrony versus causality in distributed systems † K Peters, JW Schicke-Uffmann, U Goltz, U Nestmann Mathematical Structures in Computer Science 26 (8), 1459-1498, 2016 | 6 | 2016 |
Mechanical verification of a constructive proof for flp B Bisping, PD Brodmann, T Jungnickel, C Rickmann, H Seidler, A Stüber, ... Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016 | 6 | 2016 |
Analysing and Comparing Encodability Criteria for Process Calculi. K Peters, RJ van Glabbeek Archive of Formal Proofs 2015, 2015 | 4 | 2015 |
Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft. J Bahrs, B Meuthrath, K Peters GI Jahrestagung (1), 365-371, 2008 | 4 | 2008 |
Taming concurrency for verification using multiparty session types K Peters, C Wagner, U Nestmann Theoretical Aspects of Computing–ICTAC 2019: 16th International Colloquium …, 2019 | 3 | 2019 |