Protocol Verification via Projections
From MaRDI portal
Publication:3345755
DOI10.1109/TSE.1984.5010246zbMath0552.68022OpenAlexW2039853888MaRDI QIDQ3345755
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
distributed systemscommunication protocolsprotocol analysisprotocol verificationcommunicating processesmessage-passing networksHDLChigh- level data link control
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
A methodology for constructing communication protocols with multiple concurrent functions, Resolution-based approach to compatibility analysis of interacting automata, Probabilistic verification of communication protocols, Action systems in incremental and aspect-oriented modeling, Operational specification with joint actions: Serializable databases, Specifying modules to satisfy interfaces: A state transition system approach, Towards an understanding of unbounded variables in asynchronous systems, Verification of a multiprocessor cache protocol using simulation relations and higher-order logic, On the complexity of verifying concurrent transition systems, On the complexity of verifying concurrent transition systems, The existence of refinement mappings, Specification and analysis of a data transfer protocol using systems of communicating machines, Program refinement in fair transition systems
