SPY: Local Verification of Global Protocols
Year: 2013
Type: conference-paper
Authors: Rumyana Neykova, Nobuko Yoshida, Raymond Hu
Institution: Imperial College London
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Awards: From Data Types to Session Types---A Basis for Concurrency and Distribution, Conversation-Based Governance for Distributed Systems by Multiparty Session Types, Multiparty Session Types: Theory and Conversation-Oriented Programming, Multiparty Session Types: Theory and Conversation-Oriented Programming
OpenAlex ID: W86241532