×

Found 4 Documents (Results 1–4)

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

Global progress in dynamically interleaved multiparty sessions. (English) Zbl 1160.68456

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 418-433 (2008).
MSC:  68Q85 68M12
PDFBibTeX XMLCite
Full Text: DOI

Asynchronous session types and progress for object oriented languages. (English) Zbl 1202.68094

Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 1-31 (2007).
MSC:  68N19 68N15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software