2678 search results - page 1 / 536 » Operational Semantics of Transactions |
75
Voted
ADC
2003
Springer
15 years 2 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
HOTOS
2009
IEEE
15 years 1 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
174
Voted
POPL
2008
ACM
15 years 9 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...
COORDINATION
2004
Springer
15 years 2 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
JCS
1998
14 years 9 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...