Model checking groupware protocols (2004)
by
Maurice H. Beek
,
Mieke Massink
,
Diego Latella
,
Stefania Gnesi
| Venue: | In COOP |
| Citations: | 6 - 2 self |
BibTeX
@INPROCEEDINGS{Beek04modelchecking,
author = {Maurice H. Beek and Mieke Massink and Diego Latella and Stefania Gnesi},
title = {Model checking groupware protocols},
booktitle = {In COOP},
year = {2004},
pages = {179--194},
publisher = {Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and distributed nature. Many of the protocols underlying groupware systems need to deal with those aspects as well, which makes them notoriously hard
