( en | de | ru )

 

Disambiguation of "de Bakker, J. W."

Author of the publication

copydeleteadd this publication to your clipboard
Full Abstractness of a Metric Semantics for Action Refinement.

, , and . Fundam. Informaticae, 40 (4): 335-382 (1999)

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

A Sound and Complete Proof System for Partial Program Correctness.. MFCS, volume 74 of Lecture Notes in Computer Science, page 1-12. Springer, (1979)Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog., and . FGCS, page 347-355. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)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)Topological Models for Higher Ordr Control Flow., and . MFPS, volume 802 of Lecture Notes in Computer Science, page 122-142. Springer, (1993)On Infinite Computations in Denotational Semantics., , and . Theor. Comput. Sci., (1984)A transition system semantics for the control-driven coordination language MANIFOLD., , , , , and . Theor. Comput. Sci., 240 (1): 3-47 (2000)Order and Metric in the Stream Semantics of Elemental Concurrency., and . Acta Inf., 24 (5): 491-511 (1987)Processes and the Denotational Semantics of Concurrency, and . Inf. Control., 54 (1/2): 70-120 (July 1982)Semantics and the Foundations of Program Proving.. IFIP Congress, page 279-284. (1977)Metric Pomset Semantics for a Concurrnt Language with Recursion., and . Semantics of Systems of Concurrent Processes, volume 469 of Lecture Notes in Computer Science, page 21-49. Springer, (1990)