Formal description techniques and automated protocol synthesis

Authors:
V. Carchiolo;A. Faro;D. Giordano
Affiliations:
-;-;-
Venue:
Information and Software Technology
Year:
1992

Citing 0
Cited 2

Synthesis of communications protocols: an annotated bibliography

ACM SIGCOMM Computer Communication Review
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract