2678 search results - page 128 / 536 » Operational Semantics of Transactions |
139
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
157
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
120
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. To remain competitive, enterprises have to mesh their business processes with their customers, suppliers and business partners. Increasing collaboration includes not only...
121
click to vote
EGOV
2004
Springer
15 years 10 months ago
2004
Springer
An electronic registry is the main mechanism for the official distribution of public records, which are created within the framework of administrative procedures and business trans...
128
click to vote
CORR
2009
Springer
15 years 2 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...