Towards formal semantics for QoS support

Proceedings - IEEE INFOCOM

Volumn 2, Issue , 1998, Pages 472-479

  Richter, Jan Peter ^a   de Meer, Hermann ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; NETWORK PROTOCOLS; REAL TIME SYSTEMS; SET THEORY; SYSTEMS ANALYSIS;

FORMAL SEMANTICS; NEGOTIATION PROTOCOLS; QUALITY OF SERVICE;

TELECOMMUNICATION SERVICES;

EID: 0031648171     PISSN: 0743166X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)