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

Valentin Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià. A barred operational semantics for a subset of WS-CDL with time restrictions. Journal of Logic and Algebraic Programming, 78(8):730-748, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.