2173 search results - page 37 / 435 » An operational semantics for skeletons |
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...
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.
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...