1173 search results - page 159 / 235 » On the Compositionality of Round Abstraction |
IFL
2003
Springer
14 years 3 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
ICALP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
EUROCAST
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
OHS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...