( en | de | ru )

 

Disambiguation of "Reed, Joy N."

Author of the publication

copydeleteadd this publication to your clipboard
Portability, predictability and performance for parallel computing: BSP in practice.

, , and . Concurr. Pract. Exp., 8 (10): 799-812 (1996)

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.

n n n

Nicholas Reed

Martim Joyce-Moniz

Poickattil Joy

Philippa Reed

 

Other publications of authors with the same name

Responsiveness of interoperating components., , and . Formal Aspects Comput., 16 (4): 394-411 (2004)Refinement-Preserving Plug-In Components., and . MFCSIT, volume 40 of Electronic Notes in Theoretical Computer Science, page 304-322. Elsevier, (2000)Verifying End-to-End Protocols using Induction with CSP/FDR., and . IPPS/SPDP Workshops, volume 1586 of Lecture Notes in Computer Science, page 1243-1257. Springer, (1999)Portability, predictability and performance for parallel computing: BSP in practice., , and . Concurr. Pract. Exp., 8 (10): 799-812 (1996)Responsiveness and stable revivals., , and . Formal Aspects Comput., 19 (3): 303-319 (2007)Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms., , , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 239-254. Springer, (1998)A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange., and . IEEE Trans. Software Eng., 19 (6): 625-639 (1993)Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development., , and . IFM, page 375-394. Springer, (1999)Routing - A Challenge to Formal Methods., and . PDPTA, page 305-311. CSREA Press, (1999)Formal Methods and Industrial-Strength Computer Networks.. Requirements Targeting Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, page 223-233. Springer, (1997)