Composition of Default Specifications.

Published in: J. Log. Comput. (2001)

Keyphrases

web service composition
concurrent systems
delay insensitive
specification language
default rules
databases
high level
similarity measure
data model
control flow
cardinal directions
reactive systems