Login / Signup
Neil Sayers
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 3
Top Topics
Multi Party
Design Process
Software Architecture
Manufacturing Cell
Top Venues
CoRR
Dagstuhl Artifacts Ser.
ECOOP
</>
Publications
</>
Lorenzo Gheri
,
Ivan Lanese
,
Neil Sayers
,
Emilio Tuosto
,
Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.
CoRR
(2022)
Lorenzo Gheri
,
Ivan Lanese
,
Neil Sayers
,
Emilio Tuosto
,
Nobuko Yoshida
Design-By-Contract for Flexible Multiparty Session Protocols.
ECOOP
(2022)
Lorenzo Gheri
,
Ivan Lanese
,
Neil Sayers
,
Emilio Tuosto
,
Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser.
8 (2) (2022)