DSVIS
2000
Springer
14 years 3 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...