University of Birmingham > Talks@bham > Lab Lunch > Type theory of processes - A beginning

Type theory of processes - A beginning

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Uday Reddy.

In this talk, I will present a “type theory” for processes so as to bring out their parametricity properties, which in turn determines the equivalences exhibited by processes such as trace equivalence, bisimilarity and the testing equivalence.

(I have given a version of this talk last summer in the lab lunch. This version is the dry run of a talk for the Concurrency Workshop at Imperial College next week.)

This talk is part of the Lab Lunch series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.