On specifying services and synthesizing protocols for real-time applications

Authors:
A. Khoumsi;G. V. Bochmann;R. Dssouli
Affiliations:
-;-;-
Venue:
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Year:
1995

Citing 0
Cited 5

Synthesis of communications protocols: an annotated bibliography

ACM SIGCOMM Computer Communication Review
Quality-of-service adaptation in distributed multimedia applications

Multimedia Systems
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

Distributed Computing
Deriving protocol specifications from service specifications written as predicate/transition-nets

Computer Networks: The International Journal of Computer and Telecommunications Networking
Research: Probabilistic fuzzy timed protocol verification

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract