Author of the publication

Semantics of Exceptions.

, and . PROCOMET, volume A-56 of IFIP Transactions, page 447-466. North-Holland, (1994)

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

Foreword (Special Issue on Mathematics of Program Construction).. Sci. Comput. Program., 14 (2-3): 113-115 (1990)Mechanized Support for Stepwise Refinement.. Programming Languages and System Architectures, volume 782 of Lecture Notes in Computer Science, page 35-48. Springer, (1994)What Computing Is All About.. Texts and Monographs in Computer Science Springer, (1993)Weakest Preconditions for Progress., and . Formal Aspects Comput., 4 (2): 195-236 (1992)Synchronous Communication Between Asynchronous Components.. Inf. Process. Lett., 13 (3): 127-130 (1981)Evaluating Expressions with a Queue.. Inf. Process. Lett., 20 (2): 65-66 (1985)The Sliding-Window Protocol Revisited.. Formal Aspects Comput., 7 (1): 3-17 (1995)Distributed Sorting., , and . Sci. Comput. Program., 15 (2-3): 119-133 (1990)Älgorithms for On-the-Fly Garbage Collection" Revisited.. Inf. Process. Lett., 24 (4): 211-216 (1987)The Twisted Cube., , and . PARLE (1), volume 258 of Lecture Notes in Computer Science, page 152-159. Springer, (1987)