A barred operational semantics for a subset of WS-CDL with time restrictions.

Published in: J. Log. Algebraic Methods Program. (2009)

Keyphrases