Produkt mají v nabídce:
Process Algebra: Equational Theories of Communicating Processes - Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands) a Basten, T. (Technische Universiteit Eindhoven, The Netherlands) a Reniers, M. A. (Technische Universiteit Eindhoven, The Netherlands)
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.
