| Theories and applications of concurrent and real-time
systems is the field of computer science that studies the computing phenomena
with the characteristics of concurrency, timeliness and mobility. Like
other areas in computer science, theories and application of concurrent
and real-time systems spans a wide range of subjects from the applied
to the very theoretical. On the theory side, it mainly concentrates on
different approaches to the modeling, analysis and design of concurrent
and real-time systems, including algebra based, logic based, automata
based and so on. On the application side, it focuses on inventing new
techniques based on the new theories to solve lots of problems met in
software development, network, life sciences, etc. |
