@inBook{
 title = {Operational semantics for DKAL: Application and analysis},
 type = {inBook},
 year = {2009},
 identifiers = {[object Object]},
 pages = {149-158},
 volume = {5695},
 websites = {http://dx.doi.org/10.1007/978-3-642-03748-1_15},
 publisher = {Springer},
 id = {ff1c5041-1c0a-36e2-8d33-2667f01e1ba5},
 created = {2018-07-12T21:31:46.432Z},
 file_attached = {false},
 profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},
 group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},
 last_modified = {2018-07-12T21:31:46.432Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {gurevich:operational09},
 source_type = {incollection},
 private_publication = {false},
 bibtype = {inBook},
 author = {Gurevich, Yuri and Roy, Arnab},
 book = {Trust, Privacy and Security in Digital Business}
}

{"_id":"9N5mkc6JwzSbQ8nAG","bibbaseid":"gurevich-roy-operationalsemanticsfordkalapplicationandanalysis-2009","downloads":0,"creationDate":"2019-02-15T15:14:59.891Z","title":"Operational semantics for DKAL: Application and analysis","author_short":["Gurevich, Y.","Roy, A."],"year":2009,"bibtype":"inBook","biburl":null,"bibdata":{"title":"Operational semantics for DKAL: Application and analysis","type":"inBook","year":"2009","identifiers":"[object Object]","pages":"149-158","volume":"5695","websites":"http://dx.doi.org/10.1007/978-3-642-03748-1_15","publisher":"Springer","id":"ff1c5041-1c0a-36e2-8d33-2667f01e1ba5","created":"2018-07-12T21:31:46.432Z","file_attached":false,"profile_id":"f954d000-ce94-3da6-bd26-b983145a920f","group_id":"b0b145a3-980e-3ad7-a16f-c93918c606ed","last_modified":"2018-07-12T21:31:46.432Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"gurevich:operational09","source_type":"incollection","private_publication":false,"bibtype":"inBook","author":"Gurevich, Yuri and Roy, Arnab","book":"Trust, Privacy and Security in Digital Business","bibtex":"@inBook{\n title = {Operational semantics for DKAL: Application and analysis},\n type = {inBook},\n year = {2009},\n identifiers = {[object Object]},\n pages = {149-158},\n volume = {5695},\n websites = {http://dx.doi.org/10.1007/978-3-642-03748-1_15},\n publisher = {Springer},\n id = {ff1c5041-1c0a-36e2-8d33-2667f01e1ba5},\n created = {2018-07-12T21:31:46.432Z},\n file_attached = {false},\n profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},\n group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},\n last_modified = {2018-07-12T21:31:46.432Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {gurevich:operational09},\n source_type = {incollection},\n private_publication = {false},\n bibtype = {inBook},\n author = {Gurevich, Yuri and Roy, Arnab},\n book = {Trust, Privacy and Security in Digital Business}\n}","author_short":["Gurevich, Y.","Roy, A."],"urls":{"Website":"http://dx.doi.org/10.1007/978-3-642-03748-1_15"},"bibbaseid":"gurevich-roy-operationalsemanticsfordkalapplicationandanalysis-2009","role":"author","downloads":0},"search_terms":["operational","semantics","dkal","application","analysis","gurevich","roy"],"keywords":[],"authorIDs":[]}