Erratum to "Book review: Process algebra with timing" [Sci. Comput. Programming 51 (2004)291-292].

Jan Joris Vereijken

Published in: Sci. Comput. Program. (2005)

Keyphrases

process algebra
asynchronous circuits
formal specification
programming environment
concurrent systems
model checking
formal methods
programming language
concurrent programs
communication protocols
petri net
grid workflow
artificial intelligence
distributed systems
web services composition