2013 (3)
- Rumyana Neykova, Nobuko Yoshida, Raymond Hu, SPY: Local Verification of Global Protocols, RV'13, volume 8174, pp.358-363, 2013
- Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng, The Scribble Protocol Language, Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, volume 8358, pp.22–41, 2013
- Rumyana Neykova, Session Types Go Dynamic or How to Verify Your Python Conversations, Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., volume 137, pp.95–102, 2013