( en | de | ru )

 

Disambiguation of "Peters, Kirstin"

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic Causality in Event Structures (Technical Report).

, , , and . CoRR, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kirstin Peters

Kirstin Schliecker

Nachweis der nikotinischen Acetylcholin-Rezeptor α_1tn3-Untereinheit auf vagalen Atemwegsafferenzen. Uni Gießen, (2009)

Kirstin Lots

Kirstin Kröll

Kirstin Schimrosczyk

 

Other publications of authors with the same name

Fault-Tolerant Multiparty Session Types., , and . FORTE, volume 13273 of Lecture Notes in Computer Science, page 93-113. Springer, (2022)Encodability Criteria for Quantum Based Systems., , and . Log. Methods Comput. Sci., (2024)Is It a "Good" Encoding of Mixed Choice?, and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 210-224. Springer, (2012)Taming Concurrency for Verification Using Multiparty Session Types., , and . ICTAC, volume 11884 of Lecture Notes in Computer Science, page 196-215. Springer, (2019)Session Types for Link Failures (Technical Report)., , and . CoRR, (2016)Session Types for Link Failures., , and . FORTE, volume 10321 of Lecture Notes in Computer Science, page 1-16. Springer, (2017)Separation and Encodability in Mixed Choice Multiparty Sessions., and . LICS, page 62:1-62:15. ACM, (2024)Towards a Formal Testing Theory for Quantum Processes., , and . ISoLA (1), volume 15219 of Lecture Notes in Computer Science, page 111-131. Springer, (2024)Breaking Symmetries, and . EXPRESS, volume 41 of EPTCS, page 136-150. (2010)Analysing and Comparing Encodability Criteria., and . EXPRESS/SOS, volume 190 of EPTCS, page 46-60. (2015)