2678 search results - page 145 / 536 » Operational Semantics of Transactions |
119
Voted
FUIN
2008
15 years 4 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
126
click to vote
PLILP
1995
Springer
15 years 8 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
132
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
113
Voted
PET
2007
Springer
15 years 10 months ago
2007
Springer
A system that protects the unlinkability of certain data items (e. g. identifiers of communication partners, messages, pseudonyms, transactions, votes) does not leak information t...
119
click to vote
ICDE
1993
IEEE
15 years 8 months ago
1993
IEEE
This paper presents four implementations for support of large objects in POSTGRES. The four implementations offer varying levels of support for security, transactions, compression...