Author of the publication

Specifying Distributed Software Architectures.

, , , and . ESEC, volume 989 of Lecture Notes in Computer Science, page 137-153. Springer, (1995)

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

Implementation of SHAPES Case Studies (Artifact)., , , , and . Dagstuhl Artifacts Ser., 6 (2): 19:1-19:3 (2020)Necessity Specifications for Robustness., , , and . CoRR, (2022)Evolution of Distributed Java Programs., , and . Component Deployment, volume 2370 of Lecture Notes in Computer Science, page 51-66. Springer, (2002)Special issue: formal techniques for Java programs., and . Concurr. Comput. Pract. Exp., 13 (13): 1121-1123 (2001)Reshape your layouts, not your programs: A safe language extension for better cache locality., , , , and . Sci. Comput. Program., (2020)Strengthening the Zipper., and . LDTA, volume 253 of Electronic Notes in Theoretical Computer Science, page 3-18. Elsevier, (2009)Ephemeral Java Source Code., and . FTDCS, page 9-14. IEEE Computer Society, (1999)Safe Upgrading without Restarting., and . ICSM, page 129-137. IEEE Computer Society, (2003)Modelling Darwin in the Pi-Caculus., , and . Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, page 133-152. Springer, (1994)Higher-order type-level programming in Haskell., , , and . Proc. ACM Program. Lang., 3 (ICFP): 102:1-102:26 (2019)