Baeten,, J. C. M. Process algebra : equational theories of communicating processes / J. C. M. Baeten, T. Basten, M. A. Reniers

Process algebra : equational theories of communicating processes / J. C. M. Baeten, T. Basten, M. A. Reniers . - Cambridge : Cambridge University Press, 2010 . - XVI, 460 p. : il. 24 cm . - (Cambridge tracts in theoretical computer science; 50)
978-0-521-82049-3 Encadernado

519.6
510.6