43 search results - page 2 / 9 » acs 2000 |
AC
2000
Springer
13 years 11 months ago
2000
Springer
AC
2000
Springer
13 years 6 months ago
2000
Springer
AC
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
AC
2000
Springer
13 years 6 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
IFM
2000
Springer
13 years 10 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...