Author of the publication

SyncGen: An Aspect-Oriented Framework for Synchronization.

, , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 158-162. Springer, (2004)

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

A Structured Approach for Developing Concurrent Programs in Java.. Inf. Process. Lett., 69 (5): 233-238 (1999)Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion"., and . Inf. Process. Lett., 60 (6): 319 (1996)see: Inf. Process. Lett. 50(5): 247-252(1994).Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum., , , , and . IEEE Distributed Systems Online, (2002)Development of a real-time tactile sensing system for brain tumor diagnosis., , , , , , , , , and . Int. J. Comput. Assist. Radiol. Surg., 5 (4): 359-367 (2010)A Structured Approach to Develop Concurrent Programs in UML., , and . UML, volume 1939 of Lecture Notes in Computer Science, page 451-465. Springer, (2000)Sequential Consistency in Distributed Systems., , and . Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, page 224-241. Springer, (1994)A DAG-based algorithm for distributed mutual exclusion., and . ICDCS, page 354-360. IEEE Computer Society, (1991)A token based distributed mutual exclusion algorithm based on quorum agreements., , and . ICDCS, page 361-368. IEEE Computer Society, (1991)Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms., , , , , , , , and . ICDCS Workshops, page 37-44. IEEE Computer Society, (2017)An Optimistic Protocol for a Linearizable Distributed Shared Memory System., , and . Parallel Process. Lett., 6 (2): 265-278 (1996)