Process algebra for parallel and distributed processing - Alexander, Michael; Gardner, William (CRC Press, London, 2009)
Keywords: Computer science