Place: Fields Institute (Room 210)
Date: November 4th, 2016 (13:30-15:00)
Speaker: Pedro Sanchez Terraf
Title: Bisimilarity for Probabilistic and Nondeterministic Processes
Abstract: Different models of computation have been introduced in Computer Science. Some of these models involve the use of probabilities, and also “non determinism”, that arises when one considers the interaction of processes running in parallel. One of the main concerns is to find appropriate definitions for the intuitive concept of “equivalence of behavior” for processes. A formal version of this notion is given by bisimilarity, the study of which gives rise to a few problems with a descriptive-set-theoretical flavor. In this talk I’ll survey some of these problems.