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

On Synchronization in Hard-Real-Time Systems., and . Commun. ACM, 31 (3): 274-287 (1988)A Technique for Software Module Specification with Examples (Reprint).. Commun. ACM, 26 (1): 75-78 (1983)Licensing software engineers in Canada.. Commun. ACM, 45 (11): 96-98 (2002)Concurrent Control with "Readers" and "Writers"., , and . Commun. ACM, 14 (10): 667-668 (1971)Some Theorems We Should Prove.. HUG, volume 780 of Lecture Notes in Computer Science, page 155-162. Springer, (1993)Trace Rewriting Systems., and . CTRS, volume 656 of Lecture Notes in Computer Science, page 343-356. Springer, (1992)Information Distribution Aspects of Design Methodology.. IFIP Congress (1), page 339-344. North-Holland, (1971)Using Test Oracles Generated from Program Documentation., and . IEEE Trans. Software Eng., 24 (3): 161-173 (1998)Another view of the Dijkstra-dMLP controversy.. ACM SIGSOFT Softw. Eng. Notes, 3 (4): 20-21 (1978)Software Aging.. ICSE, page 279-287. IEEE Computer Society / ACM Press, (1994)