182
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
216
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
183
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...
189
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
193
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...