2136 search results - page 35 / 428 » A Game-Theoretic Operational Semantics |
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.
WIOPT
2010
IEEE
13 years 6 months ago
2010
IEEE
—Cognitive radio networks provide the capability to share the wireless channel with licensed (primary) users in an opportunistic manner. Primary users have a license to operate i...
SIGOPSE
2004
ACM
14 years 1 months ago
2004
ACM
ENTCS
2000
13 years 7 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...