@InProceedings{DM02,
    AUTHOR = {{G.} Denker and {J.} Millen},
    TITLE = {Modeling group communication protocols using multiset term rewriting},
    YEAR = {2002},
    URL = {http://www.csl.sri.com/papers/wrla02/},
    BOOKTITLE = {4th International Workshop on Rewriting Logic and its Applications},
    PUBLISHER = {Elsevier}
}