( en | de | ru )

 

Disambiguation of "Peters, Kirstin"

Author of the publication

copydeleteadd this publication to your clipboard
Encoding CSP into CCS (Extended Version).

, , , 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 Schimrosczyk

Kirstin Bergström

Kirstin Lots

 

Other publications of authors with the same name

Encoding CSP into CCS (Extended Version)., , , and . CoRR, (2015)FTMPST: Fault-Tolerant Multiparty Session Types., , and . Log. Methods Comput. Sci., (2023)Fault-Tolerant Multiparty Session Types., , and . FORTE, volume 13273 of Lecture Notes in Computer Science, page 93-113. Springer, (2022)Breaking symmetries., and . Math. Struct. Comput. Sci., 26 (6): 1054-1106 (2016)Analysing and Comparing Encodability Criteria for Process Calculi., and . Arch. Formal Proofs, (2015)On the Expressiveness of Mixed Choice Sessions., and . EXPRESS/SOS, volume 368 of EPTCS, page 113-130. (2022)On the Expressiveness of Mixed Choice Sessions (Technical Report)., and . CoRR, (2022)Encodability Criteria for Quantum Based Systems., , and . FORTE, volume 13273 of Lecture Notes in Computer Science, page 151-169. Springer, (2022)Analysing and Comparing Encodability Criteria., and . EXPRESS/SOS, volume 190 of EPTCS, page 46-60. (2015)Matching in the Pi-Calculus., , and . EXPRESS/SOS, volume 160 of EPTCS, page 16-29. (2014)