%0 Journal Article %1 journals/jlp/ValeroDCM09 %A Valero, Valentín %A Díaz, Gregorio %A Cambronero, María-Emilia %A Macià, Hermenegilda %D 2009 %J J. Log. Algebraic Methods Program. %K dblp %N 8 %P 730-748 %T A barred operational semantics for a subset of WS-CDL with time restrictions. %U http://dblp.uni-trier.de/db/journals/jlp/jlp78.html#ValeroDCM09 %V 78

@article{journals/jlp/ValeroDCM09, added-at = {2021-02-16T00:00:00.000+0100}, author = {Valero, Valentín and Díaz, Gregorio and Cambronero, María-Emilia and Macià, Hermenegilda}, biburl = {https://www.bibsonomy.org/bibtex/2529e6757a326e1f0167f232bb1d7963b/dblp}, ee = {https://doi.org/10.1016/j.jlap.2009.07.001}, interhash = {67612b9935353aa313990fc95daea0d7}, intrahash = {529e6757a326e1f0167f232bb1d7963b}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 8, pages = {730-748}, timestamp = {2024-04-08T10:49:43.000+0200}, title = {A barred operational semantics for a subset of WS-CDL with time restrictions.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp78.html#ValeroDCM09}, volume = 78, year = 2009 }