Cover Image
Read Now

1
by Aldini, Alessandro, Bernardo, Marco, Corradini, Flavio
Published 2010
Springer London
“... providing background material on the syntax and semantics for process calculi as well as on the bisimulation...”