Formalized, validated and executable CPN models of SIP-based presence and dynamic discovery protocols for mobile applications

Description

Thesis (M.S.)--Villanova University, 2007. / Computer Science Dept. Includes bibliographical references.

Links & Downloads

1. http://proquest.umi.com/pqdweb?did=1288671611&sid=2&Fmt=2&clientId=3260&RQT=309&VName=PQD

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/153981615
Date	January 2007
Creators	Hayrapetyan, Anush.
Source Sets	OCLC
Language	English
Detected Language	English
Source	Click here for download.