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.
Publication Year: 2004
Publication Date: 2004-07-25
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot