Brief Announcement

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Brief Announcement: constraint-based synchronization and verification of concurrent programs

Full text

Pdf (103 KB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing table of contents

St. John's, Newfoundland, Canada

SESSION: BA session: shared memory objects table of contents

Pages: 371 - 371

Year of Publication: 2004

ISBN:1-58113-802-4

Authors

Rafael Ramirez	Pompeu Fabra University, Barcelona, Spain
Juanjo Martinez	Pompeu Fabra University, Barcelona, Spain

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 12, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1011767.1011827 What is a DOI?

ABSTRACT

This brief announcement outlines a new model for high-level concurrent and distributed programming based on constraint entailment, and how model-based verification methods can be directly applied to Java programs synchronizing using the model.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. E. Santosa, Concurrent Programming Made Easy, Proceedings of the 6th IEEE International Conference on Complex Computer Systems, p.151, September 11-15, 2000
	2	Ramirez, R., Martinez, J. 2004. Constraint-based Concurrent and Distributed programming in Java, DCABES 2004.
	3	Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993