PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Swierstra, S. Doaitse"

Author of the publication

copydeleteadd this publication to your clipboard
Formal design of self-stabilizing programs.

, and . J. High Speed Networks, 14 (1): 59-83 (2005)

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.

S. Schumann

S. Seemann

S. Wartzack

Boettinger S

S. Toro

 

Other publications of authors with the same name

Compositional compiler construction: Oberon0., and . Sci. Comput. Program., (2015)A Memory-Management Unit for the Optimal Exploitation of a Small Address Space., , and . Inf. Process. Lett., 15 (1): 20-22 (1982)Parse Your Options., and . The Beauty of Functional Code, volume 8106 of Lecture Notes in Computer Science, page 234-249. Springer, (2013)Virtual Data Structures., and . Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 355-371. Springer, (1993)Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism., and . WAGA, volume 461 of Lecture Notes in Computer Science, page 61-75. Springer, (1990)Towards the Formal Design of Self-Stabilizing Distributed Algorithms., and . STACS, volume 665 of Lecture Notes in Computer Science, page 440-451. Springer, (1993)Higher Order Attribute Grammars., and . Attribute Grammars, Applications and Systems, volume 545 of Lecture Notes in Computer Science, page 256-296. Springer, (1991)Iterative type inference with attribute grammars., , and . GPCE, page 43-52. ACM, (2010)Attribute grammar macros., and . Sci. Comput. Program., (2014)Formal design of self-stabilizing programs., and . J. High Speed Networks, 14 (1): 59-83 (2005)