Author of the publication

Freeing Cooperation from Servers Tyranny.

, , and . NETWORKING Workshops, volume 2376 of Lecture Notes in Computer Science, page 235-246. Springer, (2002)

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

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking., and . SPLC, page 170-174. IEEE Computer Society, (2011)Software Qualities and Principles., , and . The Computer Science and Engineering Handbook, CRC Press, (1997)A Unified High-Level Petri Net Formalism for Time-Critical Systems., , , and . IEEE Trans. Software Eng., 17 (2): 160-172 (1991)Executing Formal Specifications: The ASTRAL to TRIO Translation Approach., and . Symposium on Testing, Analysis, and Verification, page 112-122. ACM, (1991)Editorial.. ACM Trans. Softw. Eng. Methodol., 14 (2): 119-123 (2005)Editorial.. ACM Trans. Softw. Eng. Methodol., 16 (1): 2 (2007)Context oriented programming in highly concurrent systems., , and . COP@ECOOP, page 1:1-1:3. ACM, (2010)An EMOF-Compliant Abstract Syntax for Bigraphs., , and . GaM@ETAPS, volume 231 of EPTCS, page 16-30. (2016)Efficient Dynamic Updates of Distributed Components Through Version Consistency., , , and . IEEE Trans. Software Eng., 43 (4): 340-358 (2017)Version-consistent dynamic reconfiguration of component-based distributed systems., , , , and . SIGSOFT FSE, page 245-255. ACM, (2011)