2678 search results - page 41 / 536 » Operational Semantics of Transactions |
146
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
130
Voted
SIGOPSE
1998
ACM
15 years 8 months ago
1998
ACM
Companies cooperating in the framework of a virtual enterprise have increasing demands for systems on which to base applications for their particular environment: groups of worker...
119
click to vote
PEPM
2009
ACM
16 years 19 days ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
139
Voted
AC
2000
Springer
15 years 8 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...