A barred operational semantics for a subset of WS-CDL with time restrictions | Publicación