43 search results - page 2 / 9 » ac 2000 |
AC
2000
Springer
13 years 9 months ago
2000
Springer
AC
2000
Springer
13 years 4 months ago
2000
Springer
AC
2000
Springer
13 years 8 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 4 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 8 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...