( en | de | ru )

 

Disambiguation of "von Wright, Joakim"

Author of the publication

copydeleteadd this publication to your clipboard
Refinement Algebra with Operators for Enabledness and Termination.

, and . MPC, volume 4014 of Lecture Notes in Computer Science, page 397-415. Springer, (2006)

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.

Joakim Kalantari

Joakim Ekman

Marianthi Joakim

Joakim Urdahl

Gabriele Wright

 

Other publications of authors with the same name

Mechanizing Some Advanced Refinement Concepts., , , and . Formal Methods Syst. Des., 3 (1/2): 49-81 (1993)Duality in Specification Languages: A Lattice-Theoretical Approach., and . Acta Inf., 27 (7): 583-625 (1990)A Tool for Data Refinement., and . TPHOLs, volume 1479 of Lecture Notes in Computer Science, page 423-441. Springer, (1998)From Kleene Algebra to Refinement Algebra.. MPC, volume 2386 of Lecture Notes in Computer Science, page 233-262. Springer, (2002)Refinement Algebra with Operators for Enabledness and Termination., and . MPC, volume 4014 of Lecture Notes in Computer Science, page 397-415. Springer, (2006)Using a Theorem Prover for Reasoning about Concurrent Algorithms., and . CAV, volume 663 of Lecture Notes in Computer Science, page 56-68. Springer, (1992)Compositional Action System Refinement., and . Formal Aspects Comput., 15 (2-3): 103-117 (2003)Combining Angles, Demons and Miracles in Program Specifications., and . Theor. Comput. Sci., 100 (2): 365-383 (1992)Refinement Calculus, Part I: Sequential Nondeterministic Programs., and . REX Workshop, volume 430 of Lecture Notes in Computer Science, page 42-66. Springer, (1989)Proving Isomorphism of First-Order Logic Proof Systems in HOL., and . TPHOLs, volume 1479 of Lecture Notes in Computer Science, page 295-314. Springer, (1998)