2136 search results - page 24 / 428 » A Game-Theoretic Operational Semantics |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
TRUSTBUS
2009
Springer
14 years 2 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
TGC
2007
Springer
14 years 1 months ago
2007
Springer
FM
2005
Springer
14 years 1 months ago
2005
Springer
