Two formal methods for the synthesis of discrete event systems

Authors:
Ahmed Khoumsi;Kassem Saleh
Affiliations:
-;-
Venue:
Computer Networks and ISDN Systems
Year:
1997

Citing 0
Cited 3

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
Deriving protocol specifications from service specifications written as predicate/transition-nets

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract