Concurrent systems, systems in which many interacting processes run concurrently, include vast variety of real systems such as communication systems, computer software/hard ware/networks, transportation systems, manufacturing systems, social systems and so on. The research on concurrent systems is shifting from fundamental theories to development of computer tools for design and verification, and application to real problems. On the other hand, hybrid systems, systems in which continuous dynamics and discrete dynamics run with interaction, have become noticed to have application to important fields such as embedded systems, man-machine systems, and systems biology.
展开▼