Alessandro Aldini: 1 book
by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Language: English
Release Date: March 14, 2010
Language: English
Release Date: March 14, 2010
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP,...
