Operational Semantics for DKAL: Application and Analysis

Y. Gurevich,Arnab Roy
DOI: https://doi.org/10.1007/978-3-642-03748-1_15
2009-08-23
Abstract:
What problem does this paper attempt to address?