Processing flows of information: From data stream to complex event processing
ACM Computing Surveys (CSUR)
Dynamic software architectures: formal specification and verification with CSP
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
This paper describes the RAPIDE concepts of system architecture, causal event simulation, and some of the tools for viewing and analysis of causal event simulations. Illustration of the language and tools is given by a detailed small example.