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)A Discipline of Multiprogramming - Programming Theory for Distributed Applications. Monographs in Computer Science Springer, (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.. ACM Comput. Surv., 28 (4es): 49 (1996)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)Simulation, Orchestration and Logical Clocks., , and . FM, volume 5014 of Lecture Notes in Computer Science, page 34. Springer, (2008)An Exercise in Program Explanation.. ACM Trans. Program. Lang. Syst., 3 (1): 104-109 (1981)Deadlock Absence Proofs for Networks of Communicating Processes., and . Inf. Process. Lett., 9 (4): 185-189 (1979)