Neil Sayers

According to our database, Neil Sayers authored at least 3 papers in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2022

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

CoRR, 2022

Design-By-Contract for Flexible Multiparty Session Protocols.

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022