Recoverability of Communication Protocols--Implications of a Theoretical Study 论文

1976IRE Transactions on Communications Systems引用 872
DOI
Petri Nets in System ModelingService-Oriented Architecture and Web ServicesFormal Methods in Verification
Petri Nets in System ModelingFormal Methods in VerificationService-Oriented Architecture and Web Services
相关技术:Petri Nets in System ModelingService-Oriented Architecture and Web ServicesFormal Methods in Verification
关系图谱

Recoverability of Communication Protocols--Implications of a Theoretical Study · 作者

D

David Farber

P

Philip M. Merlin