A book introducing A Calculus of Communicating Systems. It s extremely useful for those study parellel computing.

A Calculus of Communicating Systems
...................................\0. Introduction.pdf
...................................\1. Experimenting on nondeterministic machines.pdf
...................................\10. Determinancy and confluence.pdf
...................................\11. Conclusion.pdf
...................................\2. Synchronization.pdf
...................................\3. A case study in synchronization and proof techniques.pdf
...................................\4. Case studies in value-communication.pdf
...................................\5. Syntax and semantics of CCS.pdf
...................................\6. Communication trees (CTs) as a model of CCS.pdf
...................................\7. Observation equivalence and its properties.pdf
...................................\8. Some proofs about data structures.pdf
...................................\9. Translation into CCS.pdf
...................................\Back Matter.pdf
...................................\front-matter.pdf

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．