Applications of Process Algebra

Zusammenfassung This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes (ACS). Inhaltsverzeichnis 1. An introduction to process algebra J. A. Bergstra and J. W. Klop; 2. Two simple protocols F. W. Vaandrager; 3. Proving mutual exclusion with process algebra E. R. Nieuwland; 4. Process algebra as a tool for the specification and verification of CIM-architectures S. Maauw; 5. A process creation mechanism in process algebra J. A. Bergstra; 6. Correctness proofs for systolic algorithms: palindromes and sorting L. Kossen and W. P. Weijland; 7. Verification of an algorithm for log-time sorting by square comparison J. C. Mulder and W. P. Weijland; 8. On the Amoeba protocol J. C. Mulder; 9. Process algebra semantics of Popl F. W. Vaandrager; 10. Some observations of redundancy in a context F. W. Vaandrager; 11. A modular approach to protocol verification using process algebra C. P. J. Koymans and J. C. Mulder.

Product details

• Authors: J. C. M. Baeten, J.C.M. Baeten
• Assisted by: Samson Abramsky (Editor), J. C. M. Baeten (Editor), C. J. van Rijsbergen (Editor), C. J. van Rijsbergen (Editor)
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 17.02.2005
• EAN: 9780521607506
• ISBN: 978-0-521-60750-6
• No. of pages: 332
• Series: Cambridge Tracts in Theoretica
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT