From multimedia models to multimedia transport protocols

Computer Networks

Volumn 29, Issue 7, 1997, Pages 745-758

  Diaz, Michel ^a  

^a LAAS CNRS   (France)

Author keywords

Distributed multimedia systems; Modeling; Multimedia information; Multimedia protocols; Partial order connections; Specification; Time and synchronisation; Timed petri nets

Indexed keywords

COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; NETWORK PROTOCOLS; PETRI NETS; SYNCHRONIZATION; VOICE/DATA COMMUNICATION SYSTEMS;

DISTRIBUTED MULTIMEDIA SYSTEMS; PARTIAL ORDER CONNECTIONS; TRANSPORT CONTROL PROTOCOL (TCP);

INTERACTIVE COMPUTER SYSTEMS;

EID: 0031199261     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(97)00071-8     Document Type: Article

References (2)

1. P. Merlin, D.J. Farber, Recoverability of communication protocols, IEEE Trans. Communications 24 (9) (1976).
2. B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Trans. Software Engineering 17 (3) (1991).