( en | de | ru )

 

Disambiguation of "von Wright, Joakim"

Author of the publication

copydeleteadd this publication to your clipboard
Encoding, Decoding and Data Refinement.

, and . Formal Aspects Comput., 12 (5): 313-349 (2000)

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

Wright Jacob

 

Other publications of authors with the same name

Using a Theorem Prover for Reasoning about Concurrent Algorithms., and . CAV, volume 663 of Lecture Notes in Computer Science, page 56-68. Springer, (1992)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)A Tool for Data Refinement., and . TPHOLs, volume 1479 of Lecture Notes in Computer Science, page 423-441. Springer, (1998)Mechanizing Some Advanced Refinement Concepts., , , and . Formal Methods Syst. Des., 3 (1/2): 49-81 (1993)Refinement Calculus, Part I: Sequential Nondeterministic Programs., and . REX Workshop, volume 430 of Lecture Notes in Computer Science, page 42-66. Springer, (1989)Duality in Specification Languages: A Lattice-Theoretical Approach., and . Acta Inf., 27 (7): 583-625 (1990)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)Reasoning About Interactive Systems., , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1460-1476. Springer, (1999)