11168 search results - page 1593 / 2234 » Abstract State Processes |
163
click to vote
COORDINATION
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
170
click to vote
EDO
2000
Springer
15 years 9 months ago
2000
Springer
Developing a distributed application is hard due to the complexity inherent to distributed communication. Moreover, distributed object communication technology is always changing,...
165
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
166
click to vote
FPL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Field-programmable gate arrays (FPGAs) have become increasingly interesting in system design and due to the rapid technological progress ever larger devices are commercia...
185
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...