Yuri Gurevich, Arnab Roy. Operational Semantics for DKAL: Application and Analysis. In Simone Fischer-Hübner, Costas Lambrinoudakis, Günther Pernul, editors, Trust, Privacy and Security in Digital Business, 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings. Volume 5695 of Lecture Notes in Computer Science, pages 149-158, Springer, 2009. [doi]
@inproceedings{GurevichR09, title = {Operational Semantics for DKAL: Application and Analysis}, author = {Yuri Gurevich and Arnab Roy}, year = {2009}, doi = {10.1007/978-3-642-03748-1_15}, url = {http://dx.doi.org/10.1007/978-3-642-03748-1_15}, tags = {semantics, analysis, operational semantics}, researchr = {https://researchr.org/publication/GurevichR09}, cites = {0}, citedby = {0}, pages = {149-158}, booktitle = {Trust, Privacy and Security in Digital Business, 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings}, editor = {Simone Fischer-Hübner and Costas Lambrinoudakis and Günther Pernul}, volume = {5695}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-03747-4}, }