Modeling and Formal Specification of the Personal Communication Service.

D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham

Browse the full INFOCOM paper archive.