@INPROCEEDINGS{icfem2000,
author = {Mohamed Jmaiel},
title = {A Unified Algebraic Framework for Specifying Communication
Protocols},
booktitle = {Proceedings of the 3rd IEEE International Conference on
Formal Engineering Methods},
year = {2000},
pages = {57--67},
address = {York, England},
month = {September},
publisher = {Chapman and Hall},
days = {4--7},
doi = {10.1109/ICFEM.2000.873805},
keywords  = {Formal},
timestamp = {2009.11.03}
}