Protocol Verification via Projections

DOI10.1109/TSE.1984.5010246MaRDI QIDQ3345755zbMATH OpenOpenAlexFDO

Authors Simon S. Lam, A. Udaya Shankar

Publication date 1984

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1984.5010246

zbMATH Keywords

distributed systemscommunication protocolsprotocol analysisprotocol verificationcommunicating processesmessage-passing networksHDLChigh- level data link control

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Recommendations

• An algorithmic technique for protocol verification
• A Simple Protocol Whose Proof Isn't
• scientific article; zbMATH DE number 4011916
• scientific article; zbMATH DE number 4022620
• Lectures on Concurrency and Petri Nets

Cited in

(21)

• A methodology for constructing communication protocols with multiple concurrent functions
• Probabilistic verification of communication protocols
• Verification of a multiprocessor cache protocol using simulation relations and higher-order logic
• Action systems in incremental and aspect-oriented modeling
• scientific article; zbMATH DE number 1956518 (Why is no real title available?)
• Protocols by Invariants
• scientific article; zbMATH DE number 1863380 (Why is no real title available?)
• The existence of refinement mappings
• On the complexity of verifying concurrent transition systems
• scientific article; zbMATH DE number 2043471 (Why is no real title available?)
• Resolution-based approach to compatibility analysis of interacting automata
• On the complexity of verifying concurrent transition systems
• A proof of protocol correctness
• Certifying reality of projections
• Protocol analysis and synthesis by structured partitions
• Program refinement in fair transition systems
• Operational specification with joint actions: Serializable databases
• Specifying modules to satisfy interfaces: A state transition system approach
• Checking for language inclusion using simulation preorders
• Towards an understanding of unbounded variables in asynchronous systems
• Specification and analysis of a data transfer protocol using systems of communicating machines

This page was built for publication: Protocol Verification via Projections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3345755)