1471 search results - page 56 / 295 » Composing concurrency control |
SIGMOD
1997
ACM
15 years 1 months ago
1997
ACM
This paper presents general algorithms for concurrency control in tree-based access methods as well as a recovery protocol and a mechanism for ensuring repeatable read. The algori...
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
DAGSTUHL
2003
14 years 11 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
104
click to vote
IJCAI
1997
14 years 11 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...