BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Concurrency Meeting:  New applications of Rely/Guarantee thinking 
 - Cliff Jones (Newcastle University)
DTSTART:20220812T104500Z
DTEND:20220812T111000Z
UID:TALK177365@talks.cam.ac.uk
DESCRIPTION:After a brief reminder of how rely/guarantee conditions provid
 e compositional development of concurrent programs\, two (or maybe only on
 e) 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 a
 pplication not only requires extensions to the R/G ideas but it also speci
 fies 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.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR