Author of the publication

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

How to Achieve High Throughput with Dynamic Tree-Structured Coterie., , and . Scalable Comput. Pract. Exp., (2007)A "Two Degrees of Freedom" Approach for Parallel Programming., , and . ICCL, page 261-270. IEEE Computer Society, (1990)A Model to Design Reusable Parallel Software Components., and . PARLE, volume 605 of Lecture Notes in Computer Science, page 245-260. Springer, (1992)Decision Procedure for Temporal Logic of Concurrent Objects., , and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 1344-1352. Springer, (1999)How could object-oriented concepts and parallelism cohabit?, , , , , and . ICCL, page 195-199. IEEE Computer Society, (1994)Designing and Implementing Synchronization: an Object Oriented Approach., , and . TOOLS (10), page 235-248. Prentice Hall, (1993)A Unique Formalism for Specifying and Designing Objects in a Parallel Environment., , and . Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 267-280. Springer, (1993)How to Improve the Scalability of Read/Write Operations with Dynamic Reconfiguration of a Tree-Structured Coterie., , , and . ICPP Workshops, page 123-134. IEEE Computer Society, (2006)Automatic Verification of Concurrent Object Properties., and . AICCSA, page 411-. IEEE Computer Society, (2001)TransM: A Structured Document Transformation Model., , and . ISTA, volume P-48 of LNI, page 53-66. GI, (2004)