Pedro Sanchez Terraf: Bisimilarity for Probabilistic and Nondeterministic Processes

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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.