Operational Semantics for DKAL: Application and Analysis.

Yuri Gurevich, Arnab Roy

Browse the full TrustBus paper archive.