Process Algebra-Based Query Workflows.

Thomas Hornung Wolfgang May Georg Lausen

Published in: CAiSE (2009)

Keyphrases

process algebra
grid workflow
concurrent systems
asynchronous circuits
response time
query processing
formal specification
formal methods
database
model checking
communication protocols
web services composition
software development
xml documents
case study
web services
databases