Disjoint Semirings for Fractional Permissions

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

• Aquinas Hobor, National University of Singapore
• Thursday 01 June 2017, 13:30-14:15
• FW11.

If you have a question about this talk, please contact Dominic Mulligan.

**NOTE NON-STANDARD DAY AND ROOM BOOKING**

Fractional permissions are frequently used in concurrent verification to track shared ownership of resources. Most recent uses of fractional permissions assumes only an additive structure for shares (e.g. as separation algebras). We show the benefits of using a multiplicative structure (i.e. a kind of semiring) and discuss the logical and computational consequences of this choice.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW11
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.