Process algebra with timing: J.C.M. Baeten and C.A. Middelburg (Eds); Springer, Berlin, 2002, pp. XX+287, ISBN 3-540-43447-X.
Jan Joris VereijkenPublished in: Sci. Comput. Program. (2004)
Keyphrases
- process algebra
- asynchronous circuits
- lecture notes
- computer science
- concurrent systems
- model checking
- concurrent programs
- formal specification
- formal methods
- web services composition
- grid workflow
- communication protocols
- petri net
- artificial intelligence
- distributed systems
- query processing
- database systems
- high level
- web services
- machine learning