2678 search results - page 281 / 536 » Operational Semantics of Transactions |
176
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
144
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
129
click to vote
TAPSOFT
1995
Springer
15 years 9 months ago
1995
Springer
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...
147
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
164
click to vote
FOIKS
2008
Springer
15 years 7 months ago
2008
Springer
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...