Constraint-based synchronization and verification of distributed Java programs

TitleConstraint-based synchronization and verification of distributed Java programs
Publication TypeJournal Article
Year of Publication2004
AuthorsRamírez, M., Martinez J., & Santosa A.
Journal TitleLecture Notes in Computer Science
Volume3132
AbstractWe outline the implementation of 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 concurrent programs synchronizing using the model.
intranet