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

Linear Time and Branching Time Semantics for Recursion with Merge., , , and . ICALP, volume 154 of Lecture Notes in Computer Science, page 39-51. Springer, (1983)A Sound and Complete Proof System for Partial Program Correctness.. MFCS, volume 74 of Lecture Notes in Computer Science, page 1-12. Springer, (1979)Topological Models for Higher Ordr Control Flow., and . MFPS, volume 802 of Lecture Notes in Computer Science, page 122-142. Springer, (1993)Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog., and . FGCS, page 347-355. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)A transition system semantics for the control-driven coordination language MANIFOLD., , , , , and . Theor. Comput. Sci., 240 (1): 3-47 (2000)Four domains for concurrency, and . Theor. Comput. Sci., (November 1991)A Calculus for Recursive Program Schemes., and . ICALP, page 167-196. North-Holland, Amsterdam, (1972)Correctness of Programs with Function Procedures., , and . Logic of Programs, volume 131 of Lecture Notes in Computer Science, page 94-112. Springer, (1981)Least fixed points revisited.. Lambda-Calculus and Computer Science Theory, volume 37 of Lecture Notes in Computer Science, page 27-61. Springer, (1975)Semantics and Proof Theory of Pascal Procedures., and . ICALP, volume 52 of Lecture Notes in Computer Science, page 30-44. Springer, (1977)