Author of the publication

The Two-Phase Commitment Protocol in an Extended pi-Calculus.

, and . Electr. Notes Theor. Comput. Sci., 39 (1): 21-46 (2000)

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

Strong normalisation in the pi -calculus., , and . Inf. Comput., 191 (2): 145-202 (2004)A logical analysis of aliasing in imperative higher-order functions., , and . J. Funct. Program., 17 (4-5): 473-546 (2007)An observationally complete program logic for imperative higher-order functions., , and . Theor. Comput. Sci., (2014)Fitting 3D Models To 2D Imagery: A Physics Based Approach., , and . MVA, page 485-488. (2000)Innovative Ansätze für Netzbetreiber und Zulieferer - Digitalisierung: Modewort oder ein Trend mit Nachhaltigkeit?, and . Elektrotechnik und Informationstechnik, 136 (1): 96-97 (2019)Computed Tomography., , , , , and . Medical Imaging Systems, volume 11111 of Lecture Notes in Computer Science, Springer, (2018)Descriptive and Relative Completeness of Logics for Higher-Order Functions., , and . ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 360-371. Springer, (2006)Program Logics for Sequential Higher-Order Control.. FSEN, volume 5961 of Lecture Notes in Computer Science, page 194-211. Springer, (2009)Phase-Sensitive Region-of-Interest Computed Tomography., , , , , , , , , and 1 other author(s). MICCAI (1), volume 11070 of Lecture Notes in Computer Science, page 137-144. Springer, (2018)Willingness to use advanced traveler information systems in Austria., and . ITSC, page 1831-1836. IEEE, (2010)