Search or ask a question
Pricing
Login
Sign up
Home
Notebook
BETA
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
All figures (9)
Fig. 7. Two Mismatched Protocols
Fig. 9. Converter for the two protocols
Fig. 4. Converter for the two protocols
Fig. 3. Specification of Converter
Fig. 1. Interface Automata Synthesis Examples
Fig. 2. Two mismatched protocols
Fig. 6. Block diagram of protocols, specification and converter
Fig. 5. Block diagram for P ⊗ Q
Fig. 8. Specification of Converter
Journal Article
•
DOI
•
Interface synthesis and protocol conversion
[...]
Purandar Bhaduri
1
,
S. Ramesh
•
Institutions (1)
Indian Institutes of Technology
1
27 Feb 2008
-
Formal Aspects of Computing