University of Cambridge > Talks.cam > Program verification reading group. > A Calculus of Atomic Actions

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

A Calculus of Atomic Actions

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

If you have a question about this talk, please contact Matthew Parkinson.

A Calculus of Atomic Actions,

Authors: Tayfun Elmas, Shaz Qadeer and Serdar Tasiran.

This talk is part of the Program verification reading group. series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Syntax Reading Group CLIO - CU history Society Centre Family Research/Psych

Other talks

Microtubule Modulation of Myocyte Mechanics Preparing Your Research for Publication CANCELLED: Beverly Gage: G-Man: J. Edgar Hoover and the American Century Constraint Analysis and Optimization in Medicine Development and Supply Highly Energy Efficient Key-value Store for In-network Computing Existence of Lefschetz fibrations on Stein/Weinstein domains Knot Floer homology and algebraic methods Speculations about homological mirror symmetry for affine hypersurfaces LARMOR LECTURE - Exoplanets, on the hunt of Universal life Horizontal transfer of antimicrobial resistance drives multi-species population level epidemics Atmospheric Structure Revealed by Refraction of Routine Radio Transmissions from Civil Aircraft.
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity