External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Safety and Liveness in Concurrent Pointer Programs

Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and Liveness in Concurrent Pointer Programs. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Volume 4111 of Lecture Notes in Computer Science, pages 280-312, Springer, 2005. [doi]

Authors

Dino Distefano

This author has not been identified. Look up 'Dino Distefano' in Google

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google

Arend Rensink

Identified as Arend Rensink
runs on