Author of the publication

About Synchronization Languages.

, , and . MFCS, volume 1450 of Lecture Notes in Computer Science, page 533-542. Springer, (1998)

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

Partial Characterization of Synchronization Languages., , and . MFCS, volume 1295 of Lecture Notes in Computer Science, page 209-218. Springer, (1997)Generalized Synchronization Languages., , and . FCT, volume 1684 of Lecture Notes in Computer Science, page 451-462. Springer, (1999)FIDL Spécifications formelles en IDL3., , and . L'OBJET, 9 (1-2): 213-225 (2003)Synchronization Languages., , and . Theor. Comput. Sci., 215 (1-2): 99-121 (1999)About Synchronization Languages., , and . MFCS, volume 1450 of Lecture Notes in Computer Science, page 533-542. Springer, (1998)On Secure Mobile Ad hoc Routing., , , and . Ad Hoc Sens. Wirel. Networks, 4 (3): 229-254 (2007)Secure Mobile Ad hoc Routing., , , , and . AINA Workshops (2), page 737-742. IEEE Computer Society, (2007)A Dynamic Class Construct for Asynchronous Concurrent Objects., , and . FMOODS, volume 3535 of Lecture Notes in Computer Science, page 15-30. Springer, (2005)On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards., and . CARDIS, volume 5189 of Lecture Notes in Computer Science, page 32-47. Springer, (2008)A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs., , and . FSEN, volume 5961 of Lecture Notes in Computer Science, page 355-370. Springer, (2009)