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

Proving Progress Properties of non Terminating Programs under Fairness Assumptions., and . Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 775-778. Springer, (1996)Verification and Refinement of Distributed Programs in a Fair Framework., and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 280-294. Springer, (1997)Non Homomorphic Reductions of Data Structures., , , and . GULP-PRODE (2), page 393-407. (1994)Functional Skeletons Generate Process Topologies in Eden., , and . PLILP, volume 1140 of Lecture Notes in Computer Science, page 289-303. Springer, (1996)Introducing Fairness in CSP Systems Specified with State Variables., and . PARLE, volume 817 of Lecture Notes in Computer Science, page 757-760. Springer, (1994)