×

Found 5 Documents (Results 1–5)

A gentle introduction to multiparty asynchronous session types. (English) Zbl 1346.68034

Bernardo, Marco (ed.) et al., Formal methods for multicore programming. 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015, Bertinoro, Italy, June 15–19, 2015. Advanced lectures. Cham: Springer (ISBN 978-3-319-18940-6/pbk; 978-3-319-18941-3/ebook). Lecture Notes in Computer Science 9104, 146-178 (2015).
MSC:  68M12 68M14 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software