%0 Journal Article %1 journals/jlp/BarbaneraBd17 %A Barbanera, Franco %A van Bakel, Steffen %A de'Liguoro, Ugo %D 2017 %J J. Log. Algebraic Methods Program. %K dblp %N 1 %P 30-76 %T Orchestrated session compliance. %U http://dblp.uni-trier.de/db/journals/jlp/jlp86.html#BarbaneraBd17 %V 86

@article{journals/jlp/BarbaneraBd17, added-at = {2021-02-16T00:00:00.000+0100}, author = {Barbanera, Franco and van Bakel, Steffen and de'Liguoro, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/253ca33f59fcfd98252e12b7026fe1db5/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2016.08.002}, interhash = {98b1116ac77f8b83d73263368760cadc}, intrahash = {53ca33f59fcfd98252e12b7026fe1db5}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 1, pages = {30-76}, timestamp = {2024-04-08T10:50:46.000+0200}, title = {Orchestrated session compliance.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp86.html#BarbaneraBd17}, volume = 86, year = 2017 }