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]
@article{ValeroDCM09,
title = {A barred operational semantics for a subset of WS-CDL with time restrictions},
author = {Valentin Valero and Gregorio DÃaz and MarÃa-Emilia Cambronero and Hermenegilda Macià },
year = {2009},
doi = {10.1016/j.jlap.2009.07.001},
url = {http://dx.doi.org/10.1016/j.jlap.2009.07.001},
tags = {semantics, operational semantics},
researchr = {https://researchr.org/publication/ValeroDCM09},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {78},
number = {8},
pages = {730-748},
}