vix.ing
·
top
·
new
·
best
·
stats
·
spec
Nobuko, Yoshida
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
2024/07/12 by
Martin, Vassor
,
Nobuko, Yoshida
· 1 citation
#FOS: Computer and information sciences
#Programming Languages (cs.PL)