![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Cliff Jones (Newcastle University)
Friday 12 August 2022, 11:45-12:10
Concurrency Meeting: New applications of Rely/Guarantee thinking
- đ¤ Speaker: Cliff Jones (Newcastle University)
- đ Date & Time: Friday 12 August 2022, 11:45 - 12:10
- đ Venue: Seminar Room 1, Newton Institute
Abstract
After a brief reminder of how rely/guarantee conditions provide compositional development of concurrent programs, two (or maybe only one) recent uses of more general rely/guarantee “thinking” will be covered. One applies the R/G ideas to “mixed-criticality scheduling” which requires extensions to handle real time (and uses the “time band” concept). This application not only requires extensions to the R/G ideas but it also specifies what would normally be thought of as a liveness issue with invariants. If I get time to mention the second application (of R/G thinking), I’ll outline work on security protocols where the interest is in being precise about the assumptions made by thier designers.
Series This talk is part of the Isaac Newton Institute Seminar Series series.
Included in Lists
- All CMS events
- bld31
- dh539
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
Note: Ex-directory lists are not shown.