2173 search results - page 37 / 435 » An operational semantics for skeletons |
75
Voted
CSSE
2008
IEEE
15 years 7 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...
102
Voted
QEST
2010
IEEE
14 years 10 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...
87
Voted
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.
SIGOPSE
2004
ACM
15 years 6 months ago
2004
ACM
104
Voted
ENTCS
2000
15 years 10 days 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...