Search results for "Joy N. Reed"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Joy N. Reed, A. W. Roscoe, J. E. Sinclair	Responsiveness and stable revivals.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Model-checking, CSP, Semantic model, Responsiveness
1	Joy N. Reed, A. W. Roscoe, Jane Sinclair	Machine-Verifiable Responsiveness.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Joy N. Reed, J. E. Sinclair, A. W. Roscoe	Responsiveness of interoperating components.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Refinement, CSP, Deadlock, Responsiveness, Component-based systems
1	Joy N. Reed, Jane Sinclair	Motivating Study of Formal Methods in the Classroom.	TFM	2004	DBLP DOI BibTeX RDF
1	Joy N. Reed, Jane Sinclair	Combining Independent Specifications.	FASE	2001	DBLP DOI BibTeX RDF
1	Joy N. Reed, J. E. Sinclair	Refinement-Preserving Plug-In Components.	Electr. Notes Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	S. J. Creese, Joy N. Reed	Verifying End-to-End Protocols using Induction with CSP/FDR.	IPPS/SPDP Workshops	1999	DBLP DOI BibTeX RDF
1	Joy N. Reed, J. E. Sinclair, F. Guigand	Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development.	IFM	1999	DBLP BibTeX RDF
1	Joy N. Reed, J. E. Sinclair	Routing - A Challenge to Formal Methods.	PDPTA	1999	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Joy N. Reed	Formal Methods and Industrial-Strength Computer Networks.	Requirements Targeting Software and Systems Engineering	1997	DBLP DOI BibTeX RDF
1	Joy N. Reed, Kevin Parrott, Tim Lanfear	Portability, predictability and performance for parallel computing: BSP in practice.	Concurrency - Practice and Experience	1996	DBLP DOI BibTeX RDF
1	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.	1993	DBLP DOI BibTeX RDF	rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing
1	Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe	Timed CSP: Theory and Practice.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-Time CSP, Timewise Refinement, Telephone Switching, Robotics, Concurrency, Temporal Logic, Specification and Verification, Control Software

Publications of "Joy N. Reed" ( http://dblp.L3S.de/Authors/Joy_N._Reed )