2678 search results - page 403 / 536 » Operational Semantics of Transactions |
124
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Software-based distributed shared memory (DSM) systems do usually not provide any means to use shared memory regions as stacks or via an efficient heap memory allocator. Instead ...
122
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
154
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
113
click to vote
AUSAI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
126
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...