Yuri Gurevich Arnab Roy Operational Semantics for DKAL: Application and Analysis. 149-158 2009 TrustBus http://dx.doi.org/10.1007/978-3-642-03748-1_15 conf/trustbus/2009 db/conf/trustbus/trustbus2009.html#GurevichR09