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

A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation.. Inf. Process. Lett., 77 (2-4): 197-200 (2001)Distributed Simulation: A Case Study in Design and Verification of Distributed Programs., and . IEEE Trans. Software Eng., 5 (5): 440-452 (1979)A Discipline of Multiprogramming - Programming Theory for Distributed Applications. Monographs in Computer Science Springer, (2001)An Exercise in Program Explanation.. ACM Trans. Program. Lang. Syst., 3 (1): 104-109 (1981)A Discipline of Multiprogramming.. ACM Comput. Surv., 28 (4es): 49 (1996)Simulation, Orchestration and Logical Clocks., , and . FM, volume 5014 of Lecture Notes in Computer Science, page 34. Springer, (2008)A Linear Sieve Algorithm for Finding Prime Numbers., and . Commun. ACM, 21 (12): 999-1003 (1978)A Constructive Proof of Vizing's Theorem., and . Inf. Process. Lett., 41 (3): 131-133 (1992)Parallelism and Programming: A Perspective., and . FSTTCS, volume 287 of Lecture Notes in Computer Science, page 173-194. Springer, (1987)The use of performance models in systematic design., , , and . AFIPS National Computer Conference, volume 51 of AFIPS Conference Proceedings, page 251-256. AFIPS Press, (1982)