Author of the publication

Is It a "Good" Encoding of Mixed Choice?

, and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 210-224. Springer, (2012)

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.

 

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)Is it a "Good" Encoding of Mixed Choice? (Technical Report), and . CoRR, (2012)Synchrony vs Causality in the Asynchronous Pi-Calculus, , and . EXPRESS, volume 64 of EPTCS, page 89-103. (2011)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)Matching in the Pi-Calculus., , and . EXPRESS/SOS, volume 160 of EPTCS, page 16-29. (2014)Distributability of mobile ambients., and . Inf. Comput., (2020)Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft., , and . GI Jahrestagung (1), volume P-133 of LNI, page 365-371. GI, (2008)