88 search results - page 6 / 18 » A Fully Abstract Trace Semantics for General References |
BPM
2006
Springer
13 years 10 months ago
2006
Springer
The "Babel tower effect", induced by the heterogeneity of applications available in the operation of enterprises brings to a consistent lack of "exchangeability"...
TGC
2010
Springer
13 years 6 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
FSTTCS
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
PAM
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Internet speed at the edge is increasing fast with the spread of fiberbased broadband technology. The appearance of bandwidth-consuming applications, such as peer-to-pee...
LICS
1997
IEEE
14 years 23 days ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...