Note:
This bibliographic page is archived and will no longer be updated.
For an up-to-date list of publications from the Music Technology Group see the
Publications list
.
Constraint-based synchronization and verification of distributed Java programs
| Title | Constraint-based synchronization and verification of distributed Java programs |
| Publication Type | Journal Article |
| Year of Publication | 2004 |
| Authors | Ramírez, M. , Martinez J. , & Santosa A. |
| Journal Title | Lecture Notes in Computer Science |
| Volume | 3132 |
| Abstract | We 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. |
