• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Communicating Sequential Processes (2004)

Cached

  • Download as a PDF

Download Links

  • [www.usingcsp.com]
  • [www.neng.usu.edu]
  • [lass.cs.umass.edu]
  • [lass.cs.umass.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by C. A. R. Hoare
Citations:3118 - 17 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1
  • Version 2
  • Version 3

Version History

Metadata Version 3

User correction supplied by mph

DatumValueSource
TITLE Communicating Sequential Processes INFERENCE
AUTHOR NAME C. A. R. Hoare user correction
AUTHOR ADDR user correction
ABSTRACT user correction
YEAR 2004 user correction
PAGES 666--677 INFERENCE
CITATIONS 3 found ParsCit 1.0
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University