J. C. M. Baeten – författare
Visar alla böcker från författaren J. C. M. Baeten. Handla med fri frakt och snabb leverans.
2 produkter
Applications of Process Algebra
Häftad, 2005
1530 kr
Lägg i varukorg
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly …
Process Algebra: Equational Theories of Communicating Processes
Av J. C. M. Baeten, T. Basten m. fl.
Inbunden, 2009
1610 kr
Lägg i varukorg
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified …
