1173 search results - page 137 / 235 » On the Compositionality of Round Abstraction |
85
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
80
Voted
EUROPAR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
89
Voted
CEEMAS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...
110
click to vote
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
109
click to vote
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...