Process Algebra: Equational Theories of Communicating Processes - EQUATIONAL THEORIES OF COMMUNICATI

Informationen zum Autor J. C. M. Baeten is Professor of Formal Methods in the Division of Computer Science at Eindhoven University of Technology, Netherlands. Klappentext Presents a unified overview of the various process algebras currently in use and sets the standard for the field. Zusammenfassung Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book presents a comprehensive overview of the various process algebras in use! and sets the standard for the field. Features include numerous exercises and an accompanying website. Inhaltsverzeichnis Preface; 1. Process algebra; 2. Preliminaries; 3. Transition systems; 4. Basic process theory; 5. Recursion; 6. Sequential processes; 7. Parallel and communicating processes; 8. Abstraction; 9. Timing; 10. Data and states; 11. Features; 12. Semantics; Bibliography; Index of symbols and notations; Index of authors; Index of subjects.

Product details

• Authors: J. C. M. Baeten, J. C. M. (Technische Universiteit Eindhove Baeten, J. C. M. (Technische Universiteit Eindhoven Baeten, J. C. M. Basten Baeten, T. Basten, T. (Technische Universiteit Eindhoven Basten, M. A. Reniers, M. A. (Technische Universiteit Eindhoven Reniers
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 16.12.2009
• EAN: 9780521820493
• ISBN: 978-0-521-82049-3
• No. of pages: 476
• Series: Cambridge Tracts in Theoretica; Cambridge Tracts in Theoretical Computer Science; Cambridge Tracts in Theoretica
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages