( en | de | ru )

 

Disambiguation of "de Bakker, J. W."

Author of the publication

copydeleteadd this publication to your clipboard
Four domains for concurrency

, and . Theor. Comput. Sci., (November 1991)
DOI: 10.1016/0304-3975(91)90303-J

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.

Diedrich Bakker

Frank Bakker

Reinout Bakker

J De Waal Dryden

Matthias J W Bohnen

 

Other publications of authors with the same name

Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog., and . FGCS, page 347-355. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Topological Models for Higher Ordr Control Flow., and . MFPS, volume 802 of Lecture Notes in Computer Science, page 122-142. Springer, (1993)A Sound and Complete Proof System for Partial Program Correctness.. MFCS, volume 74 of Lecture Notes in Computer Science, page 1-12. Springer, (1979)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 transition system semantics for the control-driven coordination language MANIFOLD., , , , , and . Theor. Comput. Sci., 240 (1): 3-47 (2000)Correctness of Programs with Function Procedures., , and . Logic of Programs, volume 131 of Lecture Notes in Computer Science, page 94-112. Springer, (1981)A Calculus for Recursive Program Schemes., and . ICALP, page 167-196. North-Holland, Amsterdam, (1972)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)Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands., , and . MFCS, volume 711 of Lecture Notes in Computer Science, page 252-261. Springer, (1993)