With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the so

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage

The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Han

In today's fast-changing, competitive environment, having an up-to-date information system (IS) is critical for all companies and institutions. Rather than crea