КТИ 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, 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 automatabased models of concurrent systems and discuss the bal