[КТИ-2016]: Modeling concurrent behavior: between expressibility and decidability

Speaker: Irina A. Lomazova - Higher School of Economics The modern computational paradigm shifts from traditional centralized computing on workstations, servers, or groups of servers, to distributed, decentralized, loosely coupled computing (cloud, ubiquitous, etc.). Correctness and safeness of distributed systems is a matter of utmost importance, and formal methods are used for modeling and analysis of such systems. In this talk we review some automata-based models of concurrent systems and discuss the bal