Search the dblp DataBase
Joy N. Reed :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Steve Schneider , Jim Davies , D. M. Jackson , George M. Reed , Joy N. Reed , A. W. Roscoe Timed CSP: Theory and Practice. [Citation Graph (1, 0)][DBLP ] REX Workshop, 1991, pp:640-675 [Conf ] Joy N. Reed , D. M. Jackson , B. Deianov , George M. Reed Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:239-254 [Conf ] Joy N. Reed , Jane Sinclair Combining Independent Specifications. [Citation Graph (0, 0)][DBLP ] FASE, 2001, pp:45-59 [Conf ] Joy N. Reed , J. E. Sinclair , F. Guigand Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. [Citation Graph (0, 0)][DBLP ] IFM, 1999, pp:375-394 [Conf ] S. J. Creese , Joy N. Reed Verifying End-to-End Protocols using Induction with CSP/FDR. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP Workshops, 1999, pp:1243-1257 [Conf ] Joy N. Reed , J. E. Sinclair Routing - A Challenge to Formal Methods. [Citation Graph (0, 0)][DBLP ] PDPTA, 1999, pp:305-311 [Conf ] Joy N. Reed Formal Methods and Industrial-Strength Computer Networks. [Citation Graph (0, 0)][DBLP ] Requirements Targeting Software and Systems Engineering, 1997, pp:223-233 [Conf ] Joy N. Reed , Jane Sinclair Motivating Study of Formal Methods in the Classroom. [Citation Graph (0, 0)][DBLP ] TFM, 2004, pp:32-46 [Conf ] Joy N. Reed , Kevin Parrott , Tim Lanfear Portability, predictability and performance for parallel computing: BSP in practice. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 1996, v:8, n:10, pp:799-812 [Journal ] Joy N. Reed , A. W. Roscoe , Jane Sinclair Machine-Verifiable Responsiveness. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:185-200 [Journal ] Joy N. Reed , J. E. Sinclair Refinement-Preserving Plug-In Components. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Joy N. Reed , J. E. Sinclair , A. W. Roscoe Responsiveness of interoperating components. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2004, v:16, n:4, pp:394-411 [Journal ] Andrew Kay , Joy N. Reed A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:6, pp:625-639 [Journal ] Joy N. Reed , A. W. Roscoe , J. E. Sinclair Responsiveness and stable revivals. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2007, v:19, n:3, pp:303-319 [Journal ] Search in 0.002secs, Finished in 0.002secs