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.

Modular Safety Checking for Fine-Grained Concurrency

Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis. Modular Safety Checking for Fine-Grained Concurrency. In Hanne Riis Nielson, Gilberto Filé, editors, Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Volume 4634 of Lecture Notes in Computer Science, pages 233-248, Springer, 2007. [doi]

Authors

Cristiano Calcagno

This author has not been identified. Look up 'Cristiano Calcagno' in Google

Matthew J. Parkinson

This author has not been identified. Look up 'Matthew J. Parkinson' in Google

Viktor Vafeiadis

Identified as Viktor Vafeiadis
runs on