200 search results - page 26 / 40 » Algebraic Operational Semantics and Occam |
100
click to vote
LOPSTR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
80
Voted
ICDE
2007
IEEE
15 years 2 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
102
click to vote
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
116
click to vote
SEMWEB
2009
Springer
15 years 3 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
118
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...