2678 search results - page 150 / 536 » Operational Semantics of Transactions |
108
click to vote
COMAD
2008
15 years 6 months ago
2008
Repositories like arXiv1 and knowledge bases like CiteSeer2 are increasingly becoming central to academicians and researchers. However, current systems provide too little semantic...
135
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
171
click to vote
ACSW
2007
2007
A Privacy Enhancing Mechanism based on Pseudonyms for Identity Protection in Location-Based Services
15 years 6 months ago
Over the past years Mobile Business has gained significant progress not only because of higher transfer rates as well as advanced processing power and memory capabilities of netw...
148
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
133
click to vote
TCS
2008
15 years 4 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...