Joy N. Reed Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2007
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, A. W. Roscoe, J. E. Sinclair: Responsiveness and stable revivals. Formal Asp. Comput. 19(3): 303-319 (2007)
2006
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, A. W. Roscoe, Jane Sinclair: Machine-Verifiable Responsiveness. Electr. Notes Theor. Comput. Sci. 145: 185-200 (2006)
2004
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, J. E. Sinclair, A. W. Roscoe: Responsiveness of interoperating components. Formal Asp. Comput. 16(4): 394-411 (2004)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, Jane Sinclair: Motivating Study of Formal Methods in the Classroom. TFM 2004: 32-46
2001
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, Jane Sinclair: Combining Independent Specifications. FASE 2001: 45-59
2000
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, J. E. Sinclair: Refinement-Preserving Plug-In Components. Electr. Notes Theor. Comput. Sci. 40: 304-322 (2000)
1999
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, J. E. Sinclair, F. Guigand: Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. IFM 1999: 375-394
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
S. J. Creese, Joy N. Reed: Verifying End-to-End Protocols using Induction with CSP/FDR. IPPS/SPDP Workshops 1999: 1243-1257
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, J. E. Sinclair: Routing - A Challenge to Formal Methods. PDPTA 1999: 305-311
1998
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. FASE 1998: 239-254
1997
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed: Formal Methods and Industrial-Strength Computer Networks. Requirements Targeting Software and Systems Engineering 1997: 223-233
1996
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joy N. Reed, Kevin Parrott, Tim Lanfear: Portability, predictability and performance for parallel computing: BSP in practice. Concurrency - Practice and Experience 8(10): 799-812 (1996)
1993
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew Kay, Joy N. Reed: A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. IEEE Trans. Software Eng. 19(6): 625-639 (1993)
1991
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe: Timed CSP: Theory and Practice. REX Workshop 1991: 640-675

Coauthor Index

1S. J. Creese
[c5]
2Jim Davies
[c1]
3B. Deianov
[c3]
4F. Guigand
[c6]
5D. M. Jackson
[c3] [c1]
6Andrew Kay
[j1]
7Tim Lanfear
[j2]
8Kevin Parrott
[j2]
9George M. Reed
[c3] [c1]
10A. W. Roscoe (A. William Roscoe, Bill Roscoe)
[j6] [j5] [j4] [c1]
11Steve A. Schneider (Steve Schneider)
[c1]
12Jane Sinclair (J. E. Sinclair)
[j6] [j5] [j4] [c8] [c7] [j3] [c6] [c4]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 03:17:04 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page