Publications
Search

Publications :: Search

The specification and design of atomic actions for fault tolerant concurrent software.

Subscribe to this publication

If you log in you may subscribe to a publication to be notified on changes by e-mail.